Вот

[metaclass]

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

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

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

Comments

[dmzlj.livejournal.com]

Пойнт Перцева --- что Си является таким языком. И действительно.

Да и на "лиспе" можно написать "лисп", я думаю.

[nivanych.livejournal.com]

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

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

[clayrat.livejournal.com]

Грубо говоря, этот "рантайм" есть некая виртуальная машина.

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