AV
newtype NonZeroInt = NonZeroInt Int
toInt (NonZeroInt n) | n < 0 = n
| otherwise = n +1
Size: a a a
2020 December 05
AV
это гарантирует
AV
врять можно, так же можно и не верить, но не верить - это твоя проблема
Я не понимаю почему ты говоришь что newtype не гарантирует
AV
Почему ты в одном случае говоришь, что это гарантия, а в другм нет
AV
Это эгоизм и вообще нечестно
YR
я понимаю что он имеет ввиду: представь что ты написал этот сет с ошибкой, и у тебя могут быть 2 одинаковых элемента. Типы не могут поймать в compile time этот факт. И под словом Set скрывается уже нечто иное
AV
newtype NonZeroInt = NonZeroInt Int
toInt (NonZeroInt n) | n < 0 = n
| otherwise = n +1
Тут 0 никак нельзя представить в принципе
AV
потому что сам по себе ньютайп это просто ньютайп, туда модно что угодно положить
конкретные функции которые нам дают какие-то гарантии уже гарантируют (буквально, дают гарантии)
конкретные функции которые нам дают какие-то гарантии уже гарантируют (буквально, дают гарантии)
Ещё раз понятно, что newtype идёт с определениями и гарантиями
AV
Твой newtype и твой set ровно такие
YR
кстати, а функции как дают? Компилятор же должен доказать их свойства. Иначе это ассюминг
AV
Замечательно!
AV
Ну понятно, что если ты хочешь их не путать, то ты так делаешь
AV
Не надо предполагать, что будет просто чистый список использоваться