к
Деление это вчегда боль)
Size: a a a
2017 October 29
NK
Те прелюдии, которые воюют за тотальность, трогают деление :)
можешь назвать пример такой прелюдии?
NK
Деление это вчегда боль)
да даже √x
AP
/ нельзя сделать с Maybe в качестве рузельтата - это метод тайпклассаAP
Можно только предоставить безопасный аналог
к
ID:351615646
что делать будем
А, ну еще это решается ликвид хаскелем
NK
ого как
к
И просто завтипами в некоторых вещах типа head
NK
А типо чтоб в компайл тайме проверило?
NK
а если в рантайме создаем список/число
к
То будет ругаться, что не ясно, какое значение, нужно делать ифы
AP
Можно property based проверку сделать, что деление на ноль отрабатывается корректно
AP
У некоторой крупной вычислительной функции.
AP
Мелкие замучаешься обезопасивать
к
ID:351615646
а если в рантайме создаем список/число
Фишка завтипов, что они внезапно проверяют не реальные значения. И все провки прекрасно работают с введеными в рантайме значениями. Я жутко офигел, когда изучал идрис
AP
Для списков есть NonEmpty
NK
То будет ругаться, что не ясно, какое значение, нужно делать ифы
о, и получится только если мы сами проверим?
к
Ну да, компилятор будет ругаться же, как ругается на неверные типы
к
Мы не в той конфе...