AT
А именно?
Size: a a a
2021 June 28
B
Там есть мутабельность
к
ну тип-то может и встроен, а инстанс-то в либе
K
Где?
AT
Я что-то не понял связи между чистыми вычислениями и монадой, встроенной в язык. Care to elaborate?
AT
Мы уже говорим про C++/Rust/Java/Python.
[
Ну, в хаскеле можно внутри монады делать вычисления без эффектов через let, хотя их потом и надо будет обернуть в эффект
AT
Какое это отношение имеет к определению монады?
а
ещё и async монада
[
Если мы по определению говорим, то где там bind и pure?
AT
pure — неявный или вообще не нужен — и так все вычисления в монаде. bind — это
;.K
Ну дак и это можно симулировать чистым кодом, так что не считается
B
Симулировать или можно?
В языке есть истинная мутабельность — значит, не весь возможный код в Haskell чистый.
В языке есть истинная мутабельность — значит, не весь возможный код в Haskell чистый.
K
StateT (Map Ref a) для конкретного a, например.а
Хаскель не чистый язык потому что в нём есть
unsafePerformIO который можно вызывать из любой функцииIP
Хаскель - не тру фп, ведь его запускают не на лямбда-исчислении
B
он базируется на system F же
IP
ты когда exe'шник запускаешь, там жалкая регистровая машина