К
akshually, часть потреблённой энергии может в некоторых системах преобразовываться в свет
Хм, согласен. Надо поменять формулировку на «электромагнитное изучение».
Size: a a a
2020 June 24
t
akshually, часть потреблённой энергии может в некоторых системах преобразовываться в свет
тепло - тоже свет
SP
но ведь IO нечистый, потому что на экран всякое печатается
ио просто отдается он не может быть не чистым, это все рантайм
t
ио просто отдается он не может быть не чистым, это все рантайм
да я знаю, это я аргумент @p0lunin заюзал
SP
ну я пародирую оппозиционные аргументы кек
SP
ну как пародирую. я понимаю о чем вы говорите и полунин тоже
EG
IO чистый, это понятно
EG
интересно, использует ли средняя программа на хаскелле (прямо или косвенно) unsafePerformIO
SP
но это действительно хак. мы джаст лайк скинем ответственность на caller
t
интересно, использует ли средняя программа на хаскелле (прямо или косвенно) unsafePerformIO
скорее нет, чем да. если использует, то автор явно делает что-то сильно не так
EG
скорее нет, чем да. если использует, то автор явно делает что-то сильно не так
включая библиотеки?
t
включая библиотеки?
ну да. проблема с unsafePerformIO в том, что его ограничить нельзя
t
это "чистая" функция, только нет
t
как ее можно консистентно применять, если ты не знаешь, когда именно она будет вызвана и сколько раз?
t
и в каком порядке
t
и какие будут у нее значения
t
не, пусть такой хуйней рантайм занимается
EG
как ее можно консистентно применять, если ты не знаешь, когда именно она будет вызвана и сколько раз?
Обвешав всё прагмами и флагами компиляции, как и рекомендует документация
VS
Я уже писал выше более узкий вариант: тот язык, где написание программ в ссылочно прозрачном стиле является вариантом написания программ по умолчанию.
По умолчанию для кого? На ЯП либо можно писать в ФП стиле либо нет. «По умолчанию» это в твоей голове. Та же Scala живой пример того как все стили в перемешку.
t
Обвешав всё прагмами и флагами компиляции, как и рекомендует документация
т.е. нестандартными хуевинами, делающими из чистого и функционального языка не такой чистый и не совсем функциональный