OberonCore

http://www.opennet.ru/opennews/art.shtml?num=28837
http://www.rsdn.ru/forum/philosophy/3871535.flat.1.aspx
http://en.wikipedia.org/wiki/Rust_(programming_language)

Что народ на этом форуме думает о полезности "новых" (им лет по 40, но до сих пор не внедрены) "фич" языка Rust

Как-то летом обсуждали, но не так уж и много насудили:
viewtopic.php?f=26&t=2730&hilit=rust

Посмотрите мою статью в "Объектных системах": "Современное системное обеспечение для компонентного объектно-ориентированного программирования"
viewtopic.php?p=56100#p56100

Отличная статья. Я ее уже раньше прочел. Но про Rust в ней всего одно предложение про туманные перспективы. Меня же интересуют не перспективы Rust (у него действительно нет перспектив), а конкретные "фичи", которые в нем испытываются.

Я видел Вашу точку зрения про избыточный контроль, но мне всё же кажется, что "слишком много" безопасности не бывавет. Если есть возможность применением простых синтаксических конструкций помочь компилятору отлавливать ошибки, то почему бы этим не воспользоваться? Это ведь дальнейшее развитие идеи строгой типизации, против чего, кажется, здесь никто не возражает.

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

Но ведь это приведет к существенному усложнению компилятора!

За всё в этой жизни приходится платить. Особенно за хороший инструмент. Но это может сэкономить усилия прикладных программистов при отладке и повысить надежность их программ. Конечно, для программного плеера это неважно. Но для программ типа Skype (который только что гикнулся), встроенных систем и критических приложений это очень важно.

А, может быть, и для программного плеера это важно. Вот у меня "полетел" гугловский браузер из-за какой-то одной единственной ошибки. Я перешел на Firefox, и обратно уже неохота возвращаться - делать лишние усилия. Так потребитель может отказаться от любого ненадежного продукта. Да и репутация стоит дорого.