Size: a a a

Clojure — русскоговорящее сообщество

2020 March 06

AC

Anton Chikin in Clojure — русскоговорящее сообщество
λoλmouse
пока люди на динамических языках сидят в текстовых редакторах, инженеры на статических наслаждаются мощью иде
Ну так мы все в идее сидим ало
источник

Oℕ

Oleg ℕizhnik in Clojure — русскоговорящее сообщество
можно даже просто
opaque type Even = Nat
источник

MB

Mikhail Borisov in Clojure — русскоговорящее сообщество
Oleg ℕizhnik
ну так вы это структурно гарантируете
Не совсем понял, что это значит. В рантайме проверю?
источник

λ

λoλmouse in Clojure — русскоговорящее сообщество
Anton Chikin
Ну так мы все в идее сидим ало
иде - это идея, визуал студио
источник

Oℕ

Oleg ℕizhnik in Clojure — русскоговорящее сообщество
Mikhail Borisov
Не совсем понял, что это значит. В рантайме проверю?
У вас СТРУКТУРНО это число либо ноль, либо другоё чётное плюс 2
источник

Oℕ

Oleg ℕizhnik in Clojure — русскоговорящее сообщество
Вы гарантировано не можете сконструировать ничего, кроме чётного числа таким образом
источник

Oℕ

Oleg ℕizhnik in Clojure — русскоговорящее сообщество
Ребзя
источник

Oℕ

Oleg ℕizhnik in Clojure — русскоговорящее сообщество
ну же
источник

Oℕ

Oleg ℕizhnik in Clojure — русскоговорящее сообщество
индуктивные данные
источник

Oℕ

Oleg ℕizhnik in Clojure — русскоговорящее сообщество
кложура всё-таки фп язык
источник

Oℕ

Oleg ℕizhnik in Clojure — русскоговорящее сообщество
должны бы понимать, о чём речь
источник

AV

Abyr Valg in Clojure — русскоговорящее сообщество
Ля, да все проще
источник

MB

Mike Bohdan in Clojure — русскоговорящее сообщество
Sergey Trofimov
я хочу параметр в функции типа EvenPositiveInt
чтобы быть «уверенным» в отсутствии ошибок
я могу такой тип описать?
вот еще раз скину, тут чувак не только показывает что можно но и рассказывает как это работает

https://www.youtube.com/watch?v=VxINoKFm-S4
источник

TP

Tim Plotnikov in Clojure — русскоговорящее сообщество
λoλmouse
иде - это идея, визуал студио
По кайфу на кложе в идее пишу, она даже тайпчекает мне иногда)))
источник

AV

Abyr Valg in Clojure — русскоговорящее сообщество
Четные числа можно ньютайпом из обычных сделать
источник

AV

Abyr Valg in Clojure — русскоговорящее сообщество
Зачем индуктивно-то, лол?
источник

Oℕ

Oleg ℕizhnik in Clojure — русскоговорящее сообщество
Abyr Valg
Четные числа можно ньютайпом из обычных сделать
чел
источник

λ

λoλmouse in Clojure — русскоговорящее сообщество
Tim Plotnikov
По кайфу на кложе в идее пишу, она даже тайпчекает мне иногда)))
о, вы молодец
источник

Oℕ

Oleg ℕizhnik in Clojure — русскоговорящее сообщество
Abyr Valg
Четные числа можно ньютайпом из обычных сделать
ты хоть бы читал
источник

Oℕ

Oleg ℕizhnik in Clojure — русскоговорящее сообщество
Abyr Valg
Четные числа можно ньютайпом из обычных сделать
источник