AA
их можно как-то по другому обернуть и получить что-то что не IO например
Size: a a a
2021 March 25
t
окей, значит, вы правы, а я ошибаюсь
AA
или другую версию ИО
AA
вообще емнип не было ни одной имплементации где ИО было примитивом, обычно всегда ио писался на самом хаскеле как абстракция над более низкоуровневыми примитивами
[
Блин, обожаю хаскельное коммюнити. Спрашиваю какую-то новичковую дичь, а из-за неё разгорается срач с применением 10+ стажа кодинга
JS
их можно как-то по другому обернуть и получить что-то что не IO например
а примитивы разве не на IO основаны?
AA
нет
JS
хм, они, похоже, определены в терминах PrimMonad
AA
нет
AA
они опасные, просто принимают и возвращают реалворлд-токен
AA
чтоб их безопасно композить и наворачивается поверх СТ и поверх СТ - ИО
AA
т.е. ИО это даже не обертка над примитивами, а над другой абстракцией
MK
зануда
JS
они опасные, просто принимают и возвращают реалворлд-токен
а зачем этот токен? его же всё равно компилятору приходится выкидывать. если всё равно нужна магия компилятора, почему бы не реализовать IO магией?
AA
и щас небось с линтипами можно написать безопасное компоженье вообще без ИО
AA
а зачем этот токен? его же всё равно компилятору приходится выкидывать. если всё равно нужна магия компилятора, почему бы не реализовать IO магией?
ну в гхц он магический из-за легковесной многопоточности, если б ее не было, можно было еще более опасными примопами обойтись
[
зануда
Кто из?
MK
не ты
MK
а, там двое зануд
[
Так их уже двое!