сорри, у меня тут тырнет корова языком слизнула, вот я выпал из сети...


сейчас я бы уже поостерегся на эту тему в безапеляционном стиле высказываться.
Если правильно помню, официальные без-gc-шные сборки заявлялись как вероятные в довольно близком будущем.
Если тема взлетит и получит спрос, рано или поздно что-то придется предлагать по автоосвобождению памяти.

дело не в том, что джин свободный, а в том, что за этим конкретно джином весьма серьёзные деньги, маркетинг и управление.
Для сложения правильной фиги всегда не меньше трёх пальцев требуется.
Отсутствие любого оборачивается неправильной фигой. А у этих ребят и пальцы в запасе есть.

Что до роликов - здесь я попался.
Оказывается я подразумевал вот этот устаревший ролик аж 14 года.
Sutter в характерной манере рассказывает как современно писать, а Macintosh показывает, что умеет
тогдашняя экспериментальная версия статического анализатора кода от Microsoft.

авторВообще в Java, open source комьюнити очень сильно. И влияние Оракла на это комьюнити очень
часто преувеличено.
Каша варится не просто разогревом котелка до бурления.
Обязательно требуется правильное помешивание.
Крутить мутовкой по часовой стрелке или против, определяется общим устройством механизма управления на базе обратной связи.
Все колёсики здесь, как прямые, так и косвенные в руках одной корпорации.

у не менее опенсорсного rust, тоже, кстати, единый владелец в этом смысле.

авторНаписана тонна легаси кода
и поменять семантику этого кода - практически не возможно.
и не нужно.
если совместимость сохраняется, весь старый код работает как работал.
Это не значит, что новый код рядом не может работать иначе. Это ответ сообщества c++

Известны примеры, когда корпорации выпускали такие "новые версии языка", на которых старый код просто не компилировался.
Люди иногда не ведают, что творят.

maytonТема формального доказательства правоты кода или гарантия отсутствия ошибок - это тема мне интересна.
пока рылся в роликах, обнаружил статистически значимое присутствие оных на тему контрактов.
То есть, из недовыбранного синтаксического арсенала ADA/SPARK разве что легковесные процессы и остались.
Подозреваю, раз пошла такая пьянка, то и с ними почти наверно активно экспериментируют.

И даже есть ролик от Andrew Sutton на тему - "а зачем бы нам понадобилась интроспекция,
если мы не планируем код в рантайме модифицировать" - надо будет глянуть.

mayton, ок.

mayton,
мой крайний офф (traits):
на эту ссылку я попал с англоязычной википедии, где о происхождении термина смутно указано.
http://scg.unibe.ch/archive/papers/Scha03aTraits.pdf

получается, русскоязычная версия права, и в современном виде это швейцарское изобретение из Бернского университета.

-------------
Контракты, там, где они контракты - это синтаксическая часть языка.
В языках со статической типизацией контролируемая на этапе компиляции.
В других это выполнимые в рантайме логические утверждения.

Концепции формулируются как набор логических утверждений о свойствах/методах, требуемых от используемого типа,
а контракты в терминах значений выражений, построенных на переменных используемого типа.
Их почти единственная задача - формулировка пред/постусловий.
Волшебство проектирования здесь состоит в том, как спроектировать все это вместе так,
чтобы оно, будучи проверенным только на этапе компиляции вселяло в тебя уверенность в гарантиях времени выполнения.

maytonВот нашел более менее внятное сравнение С++/Rust.

RustConf 2019 - The Symbiotic Relationship of C++ and Rust

посмотрел. Вообще-то это стёб седьмого уровня. Одновременно жёсткий и грустный.
Как будто Изя в сентябре прошлого года уже прочитал весь текст этого топика и наговаривает в него ответы, под сладкий херес.
Зашёл к нему в блог - он весь такой - с глазами на ладонях.
И мат, попавший в технический контекст, сам становится техническим термином.
Занятный малый - самоуволенный анархист, несущий благую весть.
Но да, пожалуй, это первый явный экуменист с высоко поднятым флагом.

PS
Типаж как перевод для traits мне сразу не понравился.
Пока ехал сегодня домой понял, что правильным переводом должно быть слово подстава .
Испанец совершенно убедил меня в моей правоте.

Испанец испанка.
sorry for my fault.