СД
Size: a a a
2020 March 27
Т8
В плюсах проверок просто нет, в расте они есть, но паникуют, а компилятор нужно дрочить чтобы он догадывался когда проверки можно убрать
чего нет в плюсах?
G
но там тоже описывается тип и его возможности (алгебра), плюс проверки во время компиляции
Одними ADT описать поведение программы нельзя.
G
Т-34 85
чего нет в плюсах?
Есть там всё
G
Я видел, как там дурь мутили
СД
Одними ADT описать поведение программы нельзя.
ну окич, запомню что это адт на стероидах
G
AZ
Т-34 85
чего нет в плюсах?
arr[i] не вставляет проверок границ. Есть .at() но мне кажется многие не любят эти проверки, тормозят же
Т8
Не готово? Не готово )
так формализовывать облать и писать теоремы сложно, а уж писать под это дело компилятор.. Это вообще сумашествие
AZ
Т-34 85
так формализовывать облать и писать теоремы сложно, а уж писать под это дело компилятор.. Это вообще сумашествие
писать теоремы просто
AZ
тяжело писать тесты, мы это уже выясняли
G
писать теоремы просто
+
AZ
еще труднее доказать что тесты тестируют что-то
AZ
если не писать тесты на тесты на тесты на тесты
AZ
которые тоже ничего ге нарантируют, по тем же причинам
AZ
а еще это настолько дорого, что я ни разу не видел хотя бы тестов на тестов
AZ
теоремы куда дешевле
Т8
arr[i] не вставляет проверок границ. Есть .at() но мне кажется многие не любят эти проверки, тормозят же
так есть или нет?
ну, и да, если мы точно знаем, что берём то, что надо, зачем проверять?
ну, и да, если мы точно знаем, что берём то, что надо, зачем проверять?
G
Т-34 85
так формализовывать облать и писать теоремы сложно, а уж писать под это дело компилятор.. Это вообще сумашествие
КМК, компилятор хороший под любой ФП язык - задача с трёмя звёздочками
λ
а в чем прикол зависимых типов?
прикол в том, что типы могут быть параметризованы значениями известными только в рантайме, а так же в том, что сами типы тоже могут быть значениями