A
Говорят что внятной обработки ошибок вообще не существует
Надо просто писать без ошибок
Size: a a a
2020 May 15
A
VL
Artem
Надо просто писать без ошибок
this
DL
Artem
Надо просто писать без ошибок
гоните етого хаскелиста
A
что такое внятная обработка ошибок?
VL
ошибки являются частью логики программы
AP
Artem
Надо просто писать без ошибок
Так этого и добиваются, путем минимизации кода. call/cc тому способствует
A
Так этого и добиваются, путем минимизации кода. call/cc тому способствует
AP
Меньше кода - меньше где искать косяк, все логично
DL
эксепшны - говно, монадки - бойлерплейт, go-лайк проверка err на каждый чих - ещё больший бойлерплейь, ещё и уродливый
A
Сделаю ход конем и сразу закину аргументы против call/cc.
Помню читал где-то про call/cc в Coq
A
Как тебе такое?
A
эксепшны - говно, монадки - бойлерплейт, go-лайк проверка err на каждый чих - ещё больший бойлерплейь, ещё и уродливый
Монадки, но с сахарком как в расте.
AP
Artem
Помню читал где-то про call/cc в Coq
Не знаю, не читал
A
Не знаю, не читал
Вот Coq заебись тема.
A
Там пруф ассистант, который помогает доказать только одну теорему: что юзер — никчемное говно.
AP
Coq (фр. coq — петух) — интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina)
AP
Юлька не рулит, рулит Галина? )
VL
Artem
Там пруф ассистант, который помогает доказать только одну теорему: что юзер — никчемное говно.
как по мне это аксиома)