Plan9 GPLная с 2014

Ну и кстати ML посложнее парсить чем сишный синтаксис

Хм, почему?

Ну, если в контексте этого чата говорить, то я от компилятореой публики не раз слышал критику в сторону авторов плана:-)

Хотя мне, конечно, вся моих работа импонирует

Теперь-то кому какое дело... да и было ли кому до них дело? :-)

Насколько понимаю, в современный Си переехали почти все эти расширения языка.

У авторов ощутимо нет никаких священных коров типа стандартов, портативности и т.д. Душа Bell labs!

А компилятор особо что там обсуждать? :-) там ж 7 тыс строк кода плюс по 6 тыс на каждый из 3х описанных бэкэндов

Спасибо)

Мы же здесь с интересом обсуждали разнообразные игрушечные компиляторы Си. А тут -- "серьезный" компилятор от Кена Томпсона, последний -- за ним уже Go.

Почему, например, там наличие или отсутствие volatile ничего не ломает? Как выглядит IR (hint: он древовидный и даже вещи в духе "+=" не раскрываются до самой генерации целевого кода)? Как работает выбор команд и что там за схема разметки такая для адресных деревьев? Как выглядит распределение регистров (уравнения потоков данных вычисляются, но раскраски графа нет)? Какие-то вещи раскрыты в приложенном мной документе, но и в коде есть, что посмотреть.

Код, разумеется, написан в архаичном стиле, но общие архитектурные решения местами заслуживают внимания. Как и следование KISS-принципу в целом :)

P.S. Я предполагаю, что kencc был написан в начале 90-х. В этой связи, удивительно, насколько компиляторы Оберона того же времени технологически опережали разработки от Bell Labs, при схожем следовании KISS.
Сравните сами: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.28.580&rep=rep1&type=pdf (там полезно пройтись по ссылкам на литературу)

var x: string;
if (a) {
  x = get_a();
} else {
  x = get_b();
}

а есть еще какие то примеры?

примеры чего, expression orientedness? весь хацкель с окамлом и иже с ними

вот со свичом чонить такое же как выше

да элементарно

let y = match x {
    | 1…5 => «foo»,
    | x if x % 2 == 0 => bar(),
    _ => return baz
};

))

Так сейчас даже в C# и Java switch - это выражение. 🤷‍♀️

let a = if true { 5 } else { 7 };

Точнее, в шарпе есть два свича, один из которых выражение :)

В Java, наверное, тоже, но тем не менее. 😊

замечу, что Томпосон и компания писали ОС прежде всего и все инструменты к ним, Вирт же в большей степени концентрировался на языках и компиляторах к ним 😊 Соответственно распределены были и усилия

Я, в данном случае, даже не про Вирта говорю. Вирт, насколько мне известно, никогда серьезно не интересовался оптимизирующими компиляторами. А вот его более молодые коллеги из ETH — другое дело. У некоторых из них в 90-е были не менее важные для развития компиляторных технологий работы, чем у того же Клика.

в джаве все-таки решили по-умному(как по мне) сделать switch выражением а не городить отдельную синтаксическую конструкцию.