а, еще Self посмотрите:
https://www.youtube.com/watch?v=Ox5P7QyL774&t=120s
https://www.youtube.com/watch?v=5Jhi5yN9S1o

забавно, учитывая что синтаксис Rust это как раз смесь C и ML

The concrete syntax of Rust is similar to C and C++, with blocks of code delimited by curly brackets, and control flow keywords such as if, else, while, and for.

ок, си-подобный. но не сишный.

да, эта смесь мне нравится больше чем крайности

вот хороший курс по сквику, дает общее представление и о языке и о среде разработки:
https://www.youtube.com/playlist?list=PL6601A198DF14788D

на закуску подробное видео о системе 1979 года:
https://www.youtube.com/watch?v=JLPiMl8XUKU

с этим полностью согласен, различий также дофига

+ специализированный язык для написания языков и компиляторов

свик это что?

Туда же Icon, Io...

Squeak. Диалект Smalltalk.

Лисп :) Во-первых, очень экзотично по нынешним временам. Во-вторых, можно сразу брать книгу о том, как написать интерпретатор Scheme за 48 часов, и на выходе уже будет нечто программируемое, а не просто парсер.

На Википедии есть обзор всяких разных синтаксических заморочек

https://ru.m.wikipedia.org/wiki/%D0%A1%D1%80%D0%B0%D0%B2%D0%BD%D0%B5%D0%BD%D0%B8%D0%B5_%D1%8F%D0%B7%D1%8B%D0%BA%D0%BE%D0%B2_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F_(%D1%81%D0%B8%D0%BD%D1%82%D0%B0%D0%BA%D1%81%D0%B8%D1%81)

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

Пассаж о необходимости использования мощых линковщиков тоже малопонятен, потому что скорость компиляции была целью разработки Go, а в современном языкостроении в llvm- или gcc- стиле линковка одна из самых тяжёлых и медленных (уж не знаю, почему) операций.

Go, может быть, и shit, но уж точно не по этим причинам.

На Plan9 тоже взгляд странный. Проект провалился не из-за технических причин, а потому что AT&T решила торговать unix-next операционкой во времена восхода Linux и BSD. Технически, Plan9 до сих пор может то, чего не может Linux: раздавать по сети вычислительные ресурсы - и может это хорошо. GUI там, конечно, отстойный по нынешним временам и unix-овым консольщикам не заходит (тоже одна из ошибок AT&T). Но это можно было бы исправить, если бы AT&T выпустила ОС в свободное плавание. Но вот не решилась.

Вот это, кстати, Plan9 умела делать из коробки, и обработка почты, например, там была элементарной задачей.

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

Ну, раз ссылка на старую заметку из блога до сих пор вызывает дебаты, то вот вам дискуссия на HN с ответом Пайка:

https://news.ycombinator.com/item?id=8815778

На мой взгляд, разъяснения были даны вполне исчерпывающие.

Теперь вернемся, все-таки, к тематике чата. Как известно, компилятор Томпсона из Plan9 использовался в Inferno и для процесса раскрутки (bootstrapping) компилятора Go.
В этой связи любопытно в ретроспективе посмотреть на решения kencc. И на этот счет есть заметка от самого Томпсона:

http://doc.cat-v.org/bell_labs/new_c_compilers/new_c_compiler.pdf

А здесь можно изучить код компилятора:

https://github.com/aryx/fork-kencc/tree/master/cc

Обсудим?

Спасибо за ссылку

или Python + LLVM , формулировать распределенные вычислительные структуры в виде графов (CSP. DataFlow), и делать язык для оперирования такими структурами (описание, трансформация, преобразования на запросах с pattern matching)

CSP - это не про графы.

узел (цепочка) — SP, линк — C (и передача управления в цепочке)

еще один язык на пи-исчислении: http://www.cs.rpi.edu/academics/courses/spring04/dci/picttutorial.pdf

зачем хранить, вроде еще Inferno OS есть в гостевом режиме, итп
https://xakep.ru/2015/08/19/node9/