[
Я так подозреваю, какая-то задача для верификации языка
Size: a a a
2021 May 18
AA
значит что функцию нельзя вернуть не через жопу потому что гц нет
[
В плюсах можно!
auto
auto
AA
пушто стековая дисциплина решает токо ДФП
AA
тож нельзя
JS
разве только ГЦ решает эту проблему? а на типах вывести и аллоцировать в вызывающем коде?
JS
а, всё равно будет проблема с изолированными графами
AA
ну больше никак не удалось решить хотя были попытки.
наиболее приближенные к успеху всякие каунтерстрадания типа свифта или лина
наиболее приближенные к успеху всякие каунтерстрадания типа свифта или лина
LO
а копирование окружения в хип не считается?
DG
В этом и есть нюанс.
Часто новичкам в Haskell очень интересно, что такое монада -> в поисках ответа они читают, например, чат и видят совет, что достаточно посмотреть на тип и всё становится понятно -> они смотрят на тип и им ничего непонятно -> они делают вывод, что они бездарны и неспособны изучить Haskell.
А вывод этот неверный)
Часто новичкам в Haskell очень интересно, что такое монада -> в поисках ответа они читают, например, чат и видят совет, что достаточно посмотреть на тип и всё становится понятно -> они смотрят на тип и им ничего непонятно -> они делают вывод, что они бездарны и неспособны изучить Haskell.
А вывод этот неверный)
[
Монада это любой тип, принадлежащий к тайпклассу Monad !
AL
Биться головой об стенку, пока не
DM
для которого выполняются его законы, скорее