ОКамль - любимый язык Оккама

брось бритву)

СЯУ, что “камло” [фр. camelot] – уличный продавец газет или разносчик во Франции

Ну так чем-то на жизнь окамлисту надо же зарабатывать

🤣тоже люблю злые шутки за 300

Occam — любимый язык Оккама.

Суров, бородат, волOccam

название раньше встречал, но не знал, что это на основе CSP язык из 1983 года

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

транспьютеры это для меня что-то из букиниста)

Так в TIS100 как раз они :)

(уже давно не играю в компьютерные игры)

лет двадцать

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

занятно. наверное непаханное поле для компиляторов

Я примерно столько же не играю. На спектруме переиграл %) Но историей игровой увлекаюсь.

Это точно!

ну, и возвращаясь к тематике чата, можно ли сказать, что какая-то из этих архитектур лучше ложится на ФП?

вернее ФП на архитектуру

Я бы рассмотрел верхний и нижный уровень IR. Для HIR полезным может быть комбинаторное описание вычислений. Тут можно делать улучшения чуть ли не на алгоритмическом уровне с помощью простых правил переписывания. Такие штуки известны еще со времен APL. А для LIR, думаю, тот же подход MLton с порождением SSA более предпочтителен, хотя и не отличается от императивных компиляторов, чем какие-то ФП-специфичные штуки. В принципе, графовое представление для IR — наиболее перспективно. Оно отражает параллелизм микроархитектуры. В той же старой книжке Харрисона и Филда наряду с разделом по редукции графов был раздел по dataflow-архитектурам. Но datalfow-языки начала 80-х (SISAL и прочие) не всегда и к ФП относят. Есть еще совсем академические разработки графового IR именно для ФП. Это VSDG. Штука весьма интересная, но, возможно, ее время еще не пришло.