n
idris, agda да, пожалуй
Size: a a a
2017 February 02
n
но тоже, там вывод на консоль есть! :)
SG
у тебя есть язык.. есть какие-то вещи с которыми он связан
SG
есть базы данных, операционная система, интернет
n
был же clean
SG
там все побочные эффекты изолированы
AL
Ах ты скотина с двойными стандартами :)
SG
в каком смысле?
SG
нет тут все честно :)
AL
Так нечестно
n
в том смысле, что монада IO это такой ловкий способ крепко зажмуриться :)
SG
у тебя есть функция, которая принимает на вход параметр - поток данных
n
на деле она не чистая
AL
Блин ну сириусли
AL
Так и про атом можно кукарекать
SG
монады нужны именно для того, чтобы работать с не чистыми вещами
SG
все смешалось люди, кони