λ
Ты просто перечислил особенности языка, но не объяснил почему это плохо
очевидно потому что есть лучше
Size: a a a
2019 December 25
p
Автоматическая верификация программ с типами. Тесты, правда, всё равно придётся писать, но меньше разительно
Не нужно писать тесты про типы если у тебя все в порядке с головой
λ
Автоматическая верификация программ с типами. Тесты, правда, всё равно придётся писать, но меньше разительно
да банальное использование хаскеля уменьшает необходимость в тестах во много много раз
Ct
посмотри курс по формальной верификации на коке от Антона Трунова, он там эти штуки объясняет
Можно линк?
G
Не нужно писать тесты про типы если у тебя все в порядке с головой
Тесты на проверку работы программ, не про типы
p
Тесты на проверку работы программ, не про типы
Почему больше?
G
Почему больше?
Что больше?
p
Что больше?
Тестов писать
G
Тестов писать
Я написал меньше...
p
Я написал меньше...
Почему в питоне больше чем с типами?
Ct
О как, они даже unlisted, т.е. сам бы я вряд ли нашел. Спасибо.
λ
Почему больше?
потому что типы это уже автоматически проверяемая во время компиляции спецификация работы программ
λ
О как, они даже unlisted, т.е. сам бы я вряд ли нашел. Спасибо.
https://github.com/anton-trunov/coq-lecture-notes вот ещё репа с кодом
G
Почему в питоне больше чем с типами?
В языке с зав. типами ты определишь операцию сложения векторов как
Vec<N, T> + Vec<N, T> -> Vec<N, T, и это избавит тебя от проверки в тестах, что результирующий вектор имеет такую же магнитуду, как два других.G
У меня такие ситуации в Rust регулярно возникают
G
потому что типы это уже автоматически проверяемая во время компиляции спецификация работы программ
+
p
В языке с зав. типами ты определишь операцию сложения векторов как
Vec<N, T> + Vec<N, T> -> Vec<N, T, и это избавит тебя от проверки в тестах, что результирующий вектор имеет такую же магнитуду, как два других.В скольких языках есть зав типы?
G
В скольких языках есть зав типы?
Полтора
Ct
В скольких языках есть зав типы?
Это не аргумент