AC
пока люди на динамических языках сидят в текстовых редакторах, инженеры на статических наслаждаются мощью иде
Ну так мы все в идее сидим ало
opaque type Even = Nat
Size: a a a
2020 March 06
Oℕ
можно даже просто
MB
ну так вы это структурно гарантируете
Не совсем понял, что это значит. В рантайме проверю?
λ
Ну так мы все в идее сидим ало
иде - это идея, визуал студио
Oℕ
Не совсем понял, что это значит. В рантайме проверю?
У вас СТРУКТУРНО это число либо ноль, либо другоё чётное плюс 2
Oℕ
Вы гарантировано не можете сконструировать ничего, кроме чётного числа таким образом
Oℕ
индуктивные данные
Oℕ
кложура всё-таки фп язык
Oℕ
должны бы понимать, о чём речь
AV
Ля, да все проще
MB
я хочу параметр в функции типа
чтобы быть «уверенным» в отсутствии ошибок
я могу такой тип описать?
EvenPositiveIntчтобы быть «уверенным» в отсутствии ошибок
я могу такой тип описать?
вот еще раз скину, тут чувак не только показывает что можно но и рассказывает как это работает
https://www.youtube.com/watch?v=VxINoKFm-S4
https://www.youtube.com/watch?v=VxINoKFm-S4
TP
иде - это идея, визуал студио
По кайфу на кложе в идее пишу, она даже тайпчекает мне иногда)))
AV
Четные числа можно ньютайпом из обычных сделать
AV
Зачем индуктивно-то, лол?
Oℕ
Четные числа можно ньютайпом из обычных сделать
чел
λ
По кайфу на кложе в идее пишу, она даже тайпчекает мне иногда)))
о, вы молодец
Oℕ
Четные числа можно ньютайпом из обычных сделать
ты хоть бы читал
Oℕ
Четные числа можно ньютайпом из обычных сделать