АГ
Вон ^
Size: a a a
2020 May 22
АГ
Это не в смысле императивщина и грязь
АГ
Это в смысле "хорошая структура"
АГ
Это не такая уж тривиальная мысль, как может подуматься сначала
AV
Там был твит со всеми тремя принципами
АГ
Проблема в том, что хаскеллисты - они обычные люди. И хорошие программисты среди них в процентном соотношении примерно такие же, как среди каких-нибудь гошников. Хаскель не делает из человека автоматически хорошего программиста. Если ты пишешь на Хаскеле, это не значит, что твой код автоматически хороший.
AV
AV
Вот
Y
Думаю, я могу дать сеанс лайвкодинга на хаскеле какой-нибудь небольшой настольной игры. С типами и property-based тестами. Если кому интересно.
Вот. Наверное, Настоящие Хаскелисты за такое тоже заклюют, но предлагается максимально скучный хаскель уровня ~десятилетней давности, без FM/FT/фреймворков/возможно, вообще расширений. Спроектировать и закодировать с нуля top-down правила небольшой настольной игры, по-максимуму натянув весь domain на (скучные) типы.
AV
Там за этим хитрый reasoning про проверяемость критерия и возможность его планирования
AV
1 нельзя проверить
2 нельзя спланировать
3 нельзя ни проверить, ни спланировать
2 нельзя спланировать
3 нельзя ни проверить, ни спланировать
АГ
Есть и другая проблема. В некоторых кодобазах и библиотеках, попадавшихся на мои глаза, обычно одна из двух крайностей:
- либо чудовищная неподдерживаемая лапша в монаде IO
- либо чудовищная неподдерживаемая лапша на типах
- либо чудовищная неподдерживаемая лапша в монаде IO
- либо чудовищная неподдерживаемая лапша на типах
АГ
А если эти две крайности совмещаются, то вообще ложись и помирай
AV
Следующим переносится @astynax вроде?
AV