KV
В хаскеле все функции чистые! И main тоже
Size: a a a
2021 February 11
MK
это не был ввод-вывод
там было String->String
MK
и можно было так коммуницировать
MK
Кана недавно игрался с этим
AP
Да, было. Но это не ввод-вывод
AA
> ввод-вывод допустим
Ввод-вывод тоже может быть чистым.
Например, в раннем хаскеле, он делался в виде функции обработки ленивого списка, поступающего "извне".
Ввод-вывод тоже может быть чистым.
Например, в раннем хаскеле, он делался в виде функции обработки ленивого списка, поступающего "извне".
вот это еще можно было описать цитатой выше
AA
там было String->String
нет
DD
можно ли сказать что монады в хаскеле это способ борьбы с нечистотой ввода-вывода?
MK
отстань
AP
В хаскеле все функции чистые! И main тоже
"Чистая и функциональная хаскельная программа вычисляется в грязную процедурную"
KV
Dmitry Dugin
можно ли сказать что монады в хаскеле это способ борьбы с нечистотой ввода-вывода?
Я бы с этим согласился
AA
отстань
ну а че сказки-то рассказывать
MK
я упрощаю
AA
"Чистая и функциональная хаскельная программа вычисляется в грязную процедурную"
она не в грязную вычисляется же, тогда б ниче не работало
AP
Dmitry Dugin
можно ли сказать что монады в хаскеле это способ борьбы с нечистотой ввода-вывода?
Это способ починить композицию в тех случаях, когда функции не просто аргументы перегоняют в результат, а имеют некий эффект — состояние, недерминируемость, ввод-вывод
NI
Dmitry Dugin
можно ли сказать что монады в хаскеле это способ борьбы с нечистотой ввода-вывода?
Это описание чистого механизма взаимодействия с грязной внешней средой.
AA
в том и смысл не давать доступа к построению такой функции чтоб она только в чистую могла вычисляться
AP
она не в грязную вычисляется же, тогда б ниче не работало
Ну ок, не в грязную, а в эффектную
DD
понял. а про ракеты это типо мем в фп сообществе?
NI
Dmitry Dugin
понял. а про ракеты это типо мем в фп сообществе?
Нет, не мем - мы в самом деле по утрам запускаем ядерные ракеты.