У нас есть Rust, поэтому C++ больше не нужен.

[swizard]

Просто чудесный пост у thesz, наглядно демонстрирующий мой лозунг из сабжа.

Давайте пройдёмся по пунктам:
> Большое неудобство, однако, составляет отсутствие подсказок компилятора в сообщении об ошибке

Rust прекрасно всё подсказывает, вплоть до того, что явно указывает как именно тебе надо исправить код, чтобы всё заработало.
> но сама необходимость

Comments

[thesz]

>А в Rust отсутствует возможность "неправильно" создать объект.

В Rust объект - это значение, или изменяемый кусок памяти? Если последнее, то увы.

>Ведь его же создавали люди, которые много программировали на C++ :)

Его создавали люди, которые мало программировали на Хаскеле, иначе бы его не было.

Надо мне собраться с силами. :(

[thesz]

data ASTWST = A AST ST

emptyASTWST :: ASTWST
emptyASTWST = A (error "no AST") (error "no ST")

setAST :: ASTWST -> AST -> ASTWST
setAST (A _ _) ast = A ast (error "no ST")

setST :: ASTWST -> ST -> ASTWST
setST (A ast _) st = A ast st

computeASTST :: ASTWST -> ASTWST
computeASTST a@(A ast _) = setST a (computeSTFromAST ast)

computeASTWST :: AST -> ASTWST
computeASTWST ast = computeASTST $ setAST emptyASTWST ast

Здесь error используется для 1) уменьшения нагрузки на меня, любимого (тесты покажут) и 2) упрощения проектирования.

Значения лучше объектов.

[swizard]

Ну я про это и говорю - то ли пример у тебя неудачный, то ли ты сам себя передумал.

Исходная постановка звучала так: "Моя проблема в C++ как раз в согласованности инициализации. Типа, программу разобрал, но таблицу символов не положил.".

Это делается просто возвратом из инициализатора заполненной структуры с двумя полями (AST и ST) - на компиляции гарантируется, что они были проинициализированы (а вот в С++ не гарантируется). "Забыть" положить что-то невозможно.

Но я понял, какую конкретно фичу ты хочешь продемонстрировать. Если что, то в Rust можно вот ровно то же самое написать, что у тебя в сниппете выше (если хочешь, я тебе приведу код, но ты же его всё равно читать не будешь). Просто в Rust это ни за чем не надо, делается по-другому и проще.

[thesz]

Исчо рас.

Изменение ранее созданных данных это неявный канал обмена информацией.

Вдумайся, чтобы понять.

Если ржавчина помозволяет менять ранее созданные данные, то она позволяет сделать данные несогласованными. Как и любой другой язык с изменяемыми данными (эффектами), не ограниченными типами.

Например, разбор чего-то во что-то может поменять что-то до обнаружения ошибки и оставить так, как получилось вмето того, чтобы оставить так, как было.

[swizard]

Вдумался, всё равно не понял. Нет, Rust не позволяет менять ранее созданные данные, и да, это ограничено типами.

> Например, разбор чего-то во что-то может поменять что-то до обнаружения ошибки и оставить так, как получилось вмето того, чтобы оставить так, как было.

Нет, не может. Для этого функция разбора должна получить объект по unique-ссылке, а не по shared.

В остальном всё то же самое, что и в хаскеле - там же тоже можно вернуть не то, что получил, главное ведь чтобы по типам сошлось.

[thesz]

Ну, тогда я подожду ещё лет десять, пока ты достаточно опыта получишь.

[swizard]

Да куда уж мне =)

[thesz]

Ты прав в своих сомнениях. Все-таки, Хаскель я выбрал в качестве языка для моей разработки в 1998 году, когда мне было 27 лет. После пересмотра моих типичных ошибок в моей типичной исследовательской деятельности.

А тебе уже больше 30.

С другой стороны, интересный опыт и новое понимание меня настигали и вот тут недавно, в районе 45 лет.

Так что, не отчаивайся.

[swizard]

> А тебе уже больше 30.

Да блин, тридцать пять уже скоро, даже не напоминай :(

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

[thesz]

Это чуть раньше начинается, лет в 30.

И это правда.

У нас организм умеет вырабатывать нейротрофический фактор мозга, который увеличивает ветвистость старых нейронов и растит новые. Он вырабатывается в ответ на три стресса - долго идти (нагрузка на выносливость), быстро бежать (нагрузка на силу) и голод. Для ходьбы доказано, что она растит мозг (и бег, и велик, и плавание). Сила имеет немного другое действие. Как и голод - сила и голод улучшают гормональный баланс и улучшают концентрацию внимания, стремление к новому и живость мышления.

Я до 42 лет очень много ходил, да и сейчас стараюсь тоже.

Очень рекомендую. ;)

Статью в википедии про нейротрофический фактор мозга прочитай. Там не все, но достаточно, чтобы изменить образ жизни. ;)

[kika]

Нет, я только в 35 начал более-менее нормально программировать, в смысле понимать что я делаю и зачем, а не просто писать в день полтыщи строк компилирующегося кода.

[thedeemon]

Этот пример не отличается от использования структуры в Си. Где тут использование типов во благо? Где хоть какие-то гарантии?

[thesz]

Ссылки.

Пример отличается от Си наличием "значений", а не объектов.

Журнал, что ли, взломали?

[thedeemon]

Если весь сыр-бор в иммутабельности, то насколько я понимаю в Расте с ней все нормально, туплы и структуры иммутабельные, пока явно не попросишь обратного.

[thesz]

Я тут уже достаточно написал.

Похоже, журнал thedeemon таки взломали.

[thesz]

Кстати, я думаю, что Rust вполне может быть реализован, как библиотека на Хаскеле. eDSL.

А вот наоборот - нет. ;)