Все ли языки программирования изоморфны?

Question

Все ли языки программирования изоморфны?

Всегда ли для любой программы, написанной на определенном языке программирования, можно скомпилировать программу эквивалентной функциональности на любом другом языке?

0

compiler-construction language-agnostic isomorphism

Источник

user3444064 15 фев '15 в 22:16

2 ответа

Другие вопросы по тегам compiler-construction language-agnostic isomorphism

user34397 15 фев '15 в 22:20 2015-02-15 22:20 · Answer 1 · 2015-02-15 22:20

С точки зрения сырой логики, да; до тех пор, пока оба языка тьюрингово полны.

Однако если в вашем коде используются API-интерфейсы, которые недоступны на целевом языке (например, сети, файловые системы, 3D-ускорение или многопоточность), то нет. (если вы не напишите полноценную виртуальную машину на целевом языке и не построите ее)

Например, нет нормального способа перенести многопоточный код с общей памятью в Javascript.

user3204551 15 фев '15 в 22:21 2015-02-15 22:21 · Answer 2 · 2015-02-15 22:21

Вы ищете полноту по Тьюрингу.

Хотя все языки, полные тьюринга, обладают технически равной силой, для выражения идеи в одном из них может потребоваться на порядок больше работы, чем в другом.

Кроме того, они могут предоставлять различные объемы доступа к базовой платформе в форме API или тому подобного.

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