AZ
как думаешь почему в япах даже добавили такую штуку как "анонимные классы" и "таплы"?
Size: a a a
2020 April 03
AZ
потому что даже в таких случаях заебывает писать целую структуру руками, а тут это намного чаще нужно делать
DF
Что такое овнинг версия либы?
S
ладно, с вами можно год спорить
p
ладно, с вами можно год спорить
Смотри. Ты пишешь типы? String, Foo, i32.
S
вы правы, идрис победил, мир завоюют функции без тела с сигнатурами длиннее документации
p
Смотри. Ты пишешь типы? String, Foo, i32.
Так вот реф типы это такие же самые типы. Например у i32 диапазон от -2^16 до 2^16. А здесь ты создаешь свой диапазон просто.
AZ
вы правы, идрис победил, мир завоюют функции без тела с сигнатурами длиннее документации
с такой позицией ты не пробовал писать на питоне и чекать все типы ифами?
r
Проверяется что она работает корректно на этапе компиляции. Это как тайп чекер, только мощнее.
В общем случае это NP-сложная задача. Поэтому, чтобы программа скомпилировалась быстрее чем за миллион лет, нужна программа и доказательства.
p
red75prime
В общем случае это NP-сложная задача. Поэтому, чтобы программа скомпилировалась быстрее чем за миллион лет, нужна программа и доказательства.
Угу
S
с такой позицией ты не пробовал писать на питоне и чекать все типы ифами?
я писал на питоне без чеканья, если только в ченканье не было необходимости
AZ
red75prime
В общем случае это NP-сложная задача. Поэтому, чтобы программа скомпилировалась быстрее чем за миллион лет, нужна программа и доказательства.
общие случае неинтересны. Борров чекер в общем случае тоже не работает. ПОэтому есть ансейф и "перепиши так чтобы борровчекинг проешл"
P
AZ
я писал на питоне без чеканья, если только в ченканье не было необходимости
если в чеканье нет необходимости то пишешь генерик с конестрейнтом и компилятор проверит что ты не ошибся
S
в питоне есть генерики?
S
и компилятор?
AZ
в mypy есть
AZ
но вообще я к тому, что если ты пишешь на компилируемом языке то ты должен понимать, что ифчики хуже типов
p
А ещё в си++ есть неявный каст из int->long. Также и здесь int{x in (1..10)} "кастуется" в int{x in (0..11)} без ошибок.
S
но вообще я к тому, что если ты пишешь на компилируемом языке то ты должен понимать, что ифчики хуже типов
если ифчики завёрнуты в типы, это не делает их сильно лучше