DS
просто сделать сахарок <- над функциями которые возвращают IO и вот вся ваша ссылочная прохрачность
Ну если IO будет ленивым, то да, это будет буквально хаскельное или скаловское IO
Size: a a a
2020 April 23
DS
И да, оно будет ссылочно прозрачным при этом
p
можно как в расте - делать ИО разрешено только в блоке IO { /* here */ }
и это будет лучше поскольку сразу понятно IO перед тобой или Option<T> -> Option<T>
p
кстати а как реализован в хаскеле рандом? грязь в компиляторе?
.
G
Гпсч это математическая концепция где ты тут взял нечистоту хуй знает
G
Заправляешь зерном гпсч получаешь число
G
Передаешь гпсч генерируешь новое число
p
ладно, сектантов не переубедить
AZ
так же как и везде
AZ
ладно, сектантов не переубедить
нет, просто ты воинствуюущий невежда
AZ
- 2+2=5
- но ведь 2+2 это 4!
- ладно, сектантов не переубедитьAZ
диалог буквально такой
p
это вы говорите что 2+2=5 а ИО чистое
AZ
все дураки, шевченки и одерски обманщики, только полунин знает как на самом деле
AZ
это вы говорите что 2+2=5 а ИО чистое
https://wiki.haskell.org/IO_inside
Haskell is a pure language and even the I/O system can't break this purity.
Haskell is a pure language and even the I/O system can't break this purity.
AZ
вики тоже обманывает?
DS
это вы говорите что 2+2=5 а ИО чистое
Потому что оно по опредедниею чистоты - чистое. Буквально по формальному определению.
p
вики тоже обманывает?
да, фпшеры занимаются самообманом
AZ
да, фпшеры занимаются самообманом
ок, пусть так
AZ
главное чтобы профит приносило