AP
Вощм, наличие тайпклассов позволяет обобщать поведение. А то, что можно обобщить, можно и автоматизировать. Автоматизация == меньше кода пишешь сам == меньше багов. Точка
Size: a a a
2020 October 26
AP
Эти не какой-то там выпендрёж, это нормальное программирование "с типами", а не "с типа типами"
K
В эльме есть какая-нибудь "стандартная" реализация ленивых значений?
K
Хотя, как это вообще можно сделать, без
State/ST-монады-тоAP
явный санк
() -> aAP
force : (() -> a) -> aK
Т.е., что-то вроде
type Lazy a = Lazy (() -> a) | Forced a?AP
Это уже частный случай. Ленивость != запоминаем результат. Это просто откладывание вычисления.
AP
Если нужно запоминать, то да, такая сумма подойдёт
AP
Только
type Lazy a = Thunk (() -> a) | Value aK
На одну скобку больше, чем надо
AP
Да, поправил
AP
вот типичная ленивость на ручных санках
AP
Такая же в Clojure есть и в других местах
AP
Можно даже бесконечные последовательности иметь.
K
Я бы у этого типа поменял местами сумму и
() ->AP
Зачем иметь ленивый Nil?
AP
Впрочем, почему бы и нет
MP