Вот

[metaclass]

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

Клеить к сишной библиотеке ерланг через окамл - это хорошая идея. Со мной есть только одна проблема - меня практически не берет трава (такая вот особенность биохимии) а более тяжелые я как-то так и не собрался попробовать.

Вообще, это все по ссылке dmzlj насчет "универсальный язык - это язык на котором можно написать его собственный рунтайм". Интуитивно это очень хорошая идея(проверено практикой), но как это описать формально теоретически я что-то пока не понял.

Comments

[nivanych.livejournal.com]

Дело в том, что runtime
очень часто Тьюринг-полный ;-)
Соответственно, понятие "универсальный язык",
как правило, будет определять Тьюринг-полноту.
(забудем, что x86-ассемблер не-Тьюринг-полный).

Если говорить точнее, то надо
определять, что же такое runtime.

[metaclass.livejournal.com]

"x86-ассемблер не-Тьюринг-полный"
Это как?

[nivanych.livejournal.com]

Так.
Он сможет эмулировать машину Тьюринга,
да и бестиповую лямбду тоже.
Конечный он.