p
для разумного использования мутабельности есть линзы
нет
Size: a a a
2020 April 23
AZ
и кстати, где в лиспе монады и HKT?
ДБ
что такое ФП для тебя?
лямда исчесления + чистые функции
DS
лямда исчесления + чистые функции
Ну целиком писать на чистых функциях в лиспе не возможно
DS
В отличие от тех языков, которые являются ФП языками.
ДБ
Ну целиком писать на чистых функциях в лиспе не возможно
а где возможно? программа без сайд эффектов бесполезна
DS
а где возможно? программа без сайд эффектов бесполезна
На хаскеле, скале, идрисе, агде и т.д. и т.п.
AZ
Finally, many languages make a pointless distinction between expression and statement, usually to support some horrible Blub syntax like infix assignment. кек
DS
Ну и важная деталь - на хаскеле и скале так реально пишут, в лиспах - нет
ДБ
На хаскеле, скале, идрисе, агде и т.д. и т.п.
то что тебе завернули все в IO который ты тащишь через всю прогу к рантайму не значит что в хаскеле нет сайд эффектов
AZ
то что тебе завернули все в IO который ты тащишь через всю прогу к рантайму не значит что в хаскеле нет сайд эффектов
конечно значит
AZ
или покажи как пронаблюдать эффект в программе без ансейфа
AZ
потому что "ну оно ж на консоль вывело" не означает что есть сайд эффекты
AZ
есть _просто эффекты_
DS
то что тебе завернули все в IO который ты тащишь через всю прогу к рантайму не значит что в хаскеле нет сайд эффектов
IO в хаскеле чистое, в этом его и суть.
AZ
сайд эффект так называется потому что есть не сайд эффекты
DS
Когда ты вызваешь функцию, которая возвращает IO - то никаких эффектов не происходит, эта функция полностью чистая, ссылочно прозрачная и т.п. и т.д.
ДБ
IO в хаскеле чистое, в этом его и суть.
снаружи да, а внутри?
AZ
(MonadLogger [LogEntry], MonadHttp Request ()) => ... - нет сайд эфектовDS
снаружи да, а внутри?
А это уже забота рантайма, на свойства программы это отрицательно не сказываетвся, в отличие от ЯП без IO.