SA
в хаскеле они чекаются
Size: a a a
2020 August 26
SA
по крайней мере на соответствие по функциональным типам
SA
так же на самом деле большинство монад которые целиком живут в кишках хаскеля тоже чекаются
χλ
В Haskell не проверяется соответствие монады правилам монадным
Типы чекаются, да
Типы чекаются, да
SA
но они обычно являются просто обертками
V(
В Haskell не проверяется соответствие монады правилам монадным
Типы чекаются, да
Типы чекаются, да
вот я это имел в виду
SA
конечно монады которы про то что хуйня прилетела извне и делает что то свое не чекается
SA
потому что ну а как
V(
ну а вдруг
χλ
вот я это имел в виду
Их без зависимых типов не проверить.
Но, вроде как, компилятор оптимизирует беря их в учёт. Так что это место для стрельбы в ногу.
Но, вроде как, компилятор оптимизирует беря их в учёт. Так что это место для стрельбы в ногу.
SA
бля ну соре
SA
нуу да вот
SA
IO например ghc умеет как то хитро инлайнить
SA
так чтоб например не возникало проблемы вида "монады пиздец медленнее а поэтмоу мы печатаем все по 10 лет"
SA
потому что монаду медленные
V(
ну я тоже поделился открытием лол. Монады толкают как гарантию от падений, я вообразил что там компилятор следит что монада а что нет. А тип это я на самом деле должен ручками
SA
нуу
V(
ручками я и в лишпе могу спасибо
SA
проверить что хаскель падает
SA
нетрудно кучей способов