SA
во да чел знает что хаскель не тотальный
Size: a a a
2020 August 26
χλ
А тут причем монада?
SA
Maybe
SA
монада
SA
ну короче вот свинья знает секрет
χλ
Ты используешь структуру данных, для которой определен интерфейс монады
SA
нетотальный язык
χλ
Но ты никак его не используешь.
χλ
нетотальный язык
Но да, нетотальный
χλ
ну я тоже поделился открытием лол. Монады толкают как гарантию от падений, я вообразил что там компилятор следит что монада а что нет. А тип это я на самом деле должен ручками
Тут про другое было
Чел
Чел
SA
(и не может быть тотальным так как депендент тпов нет а распакоывать вообще все из вообще всего никто не хочет)
PG
ну короче вот свинья знает секрет
SA
соре мб я не так понял
PG
да, не совсем так
PG
можно быть тотальным и без завтипов
SA
можно
SA
вот как эльм например
SA
нооо будут другие проблемы
PG
а вот иметь завтипы и быть нетотальным уже не очень прикольно
χλ
соре мб я не так понял
Да
Повторю, как я понял (а то вдруг тож неверно интерпретирую)
Есть правила для монад:
return a >>= f = f a
m >>= return = m
...
Повторю, как я понял (а то вдруг тож неверно интерпретирую)
Есть правила для монад:
return a >>= f = f a
m >>= return = m
...