Size: a a a

2020 March 27

СД

Стас Донцов... in rust_offtopic
источник

Т8

Т-34 85 in rust_offtopic
Alex Zhukovsky
В плюсах проверок просто нет, в расте они есть, но паникуют, а компилятор нужно дрочить чтобы он догадывался когда проверки можно убрать
чего нет в плюсах?
источник

G

Gymmasssorla in rust_offtopic
Стас Донцов
но там тоже описывается тип и его возможности (алгебра), плюс проверки во время компиляции
Одними ADT описать поведение программы нельзя.
источник

G

Gymmasssorla in rust_offtopic
Т-34 85
чего нет в плюсах?
Есть там всё
источник

G

Gymmasssorla in rust_offtopic
Я видел, как там дурь мутили
источник

СД

Стас Донцов... in rust_offtopic
Gymmasssorla
Одними ADT описать поведение программы нельзя.
ну окич, запомню что это адт на стероидах
источник

G

Gymmasssorla in rust_offtopic
Переслано от Stanislav Ershov
источник

AZ

Alex Zhukovsky in rust_offtopic
Т-34 85
чего нет в плюсах?
arr[i] не вставляет проверок границ. Есть .at() но мне кажется многие не любят эти проверки, тормозят же
источник

Т8

Т-34 85 in rust_offtopic
Gymmasssorla
Не готово? Не готово )
так формализовывать облать и писать теоремы сложно, а уж писать под это дело компилятор.. Это вообще сумашествие
источник

AZ

Alex Zhukovsky in rust_offtopic
Т-34 85
так формализовывать облать и писать теоремы сложно, а уж писать под это дело компилятор.. Это вообще сумашествие
писать теоремы просто
источник

AZ

Alex Zhukovsky in rust_offtopic
тяжело писать тесты, мы это уже выясняли
источник

G

Gymmasssorla in rust_offtopic
Alex Zhukovsky
писать теоремы просто
+
источник

AZ

Alex Zhukovsky in rust_offtopic
еще труднее доказать что тесты тестируют что-то
источник

AZ

Alex Zhukovsky in rust_offtopic
если не писать тесты на тесты на тесты на тесты
источник

AZ

Alex Zhukovsky in rust_offtopic
которые тоже ничего ге нарантируют, по тем же причинам
источник

AZ

Alex Zhukovsky in rust_offtopic
а еще это настолько дорого, что я ни разу не видел хотя бы тестов на тестов
источник

AZ

Alex Zhukovsky in rust_offtopic
теоремы куда дешевле
источник

Т8

Т-34 85 in rust_offtopic
Alex Zhukovsky
arr[i] не вставляет проверок границ. Есть .at() но мне кажется многие не любят эти проверки, тормозят же
так есть или нет?

ну, и да, если мы точно знаем, что берём то, что надо, зачем проверять?
источник

G

Gymmasssorla in rust_offtopic
Т-34 85
так формализовывать облать и писать теоремы сложно, а уж писать под это дело компилятор.. Это вообще сумашествие
КМК, компилятор хороший под любой ФП язык - задача с трёмя звёздочками
источник

λ

λоλторт in rust_offtopic
Стас Донцов
а в чем прикол зависимых типов?
прикол в том, что типы могут быть параметризованы значениями известными только в рантайме, а так же в том, что сами типы тоже могут быть значениями
источник