А без SSA только ранний PDG и был. К сожалению, одними DAG обойтись не удается, если у нас есть циклы. И графовые варианты разнятся, в том числе, способом слияния ребер.

А вот лишь одна ссылка в подкрепление моего тезиса о компиляторном многообразии, которого многие не замечают :) http://nicsefc.ee.tsinghua.edu.cn/media/publications/2019/IEEE%20ICESS_None.pdf

Технически compiling to categories ближе к стековым машинам и wasm. Хм... В принципе, из такого стекового представления и ярусно-параллельный граф можно вытащить.

В Region based VSDG эта проблема решена через регионы, собственно для циклов и рекурсивных функций там существуют специальные регионы которые как раз и помогают приждерживаться DAG,абстрагируясь от обратной связи

Лично мне "Brief, incomplete and mostly wrong" нравится намного больше. 🙂

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

все жду, когда же создадут язык который бы удовлетворял все потребности людей

Уже есть: Haskell

Учитывая, что основная потребность людей от языка - это "быть языком X", такой просто невозможен. 🤷‍♀️

язык есть.. а вот компилятора его нету :(

кто напишет компилятор естественных языков?

Нанимаешь программиста - вот тебе и компилятор из естественного языка

а говорите что нету языка, который удовлетворяет все потребности %)

«Люди требуют, чтобы каждый фрагмент любого программного обеспечения был переписан на Rust СЕЙЧАС ЖЕ. Грейдон не хочет этим заниматься и уходит работать над Swift для Apple».

Кстати очень много разработчиков стоящих за ним так же покинули core team. Например Стив Клабник и Эшли. И еще кто то, не помню имени. Они конечно номинально в команде, но уже давно ничем не занимаются, разве что иногда адвокатят и на конференциях выступают

Они кушать просят

Сначала нужно изобрести хотя бы универсальный натуральный язык, который бы удовлетворял всех. Тот же эсперанто - утопия утопией

Эсперанто китайцам не понравился, их Заменгов вообще не учёл. А их много. Путунхуа мог бы быть хорошей заменой эсперанто

вот это новости, не знал и не понятно почему они ушли, от них же требуется толлько пилить раст🤔

А вот еще два человека из пресс релиза:

«Nick Cameron left Mozilla to work at PingCap. Although he won’t have time to stay active on the core team, he plans to continue co-leading the Cargo team in his new position.»

«Aaron Turon decided to step back from the core team so that he could focus on engineering work and the language design team. (He remains on the Rust team at Mozilla.)»