История изменений
Исправление quasimoto, (текущая версия) :
В вашем случае
Обе функции repl вообще не имеют отношения к интерпретации "(loop)", говорю же (либо напиши настоящий REPL — тогда можно будет обсудить).
в L-языке есть программа "(loop)" которая L-интерпретатором выполняется сколько угодно долго, но никуда не транслируется. Она _может_ каким-то транслятором переводится в программу на T-языке (которую может выполнять, не транслировать, T-интерпретатор).
Не понятно?
А кто запрещает? Можно оттранслировать в непонятную хрень, а потом для этой непонятной хрени написать исполнитель.
Ещё реприза:
произвольная функция между языками с известной семантикой это не трансляция
То есть если есть си и ассемблер, например, то трансляция предполагает сохранение семантики.
Исходная версия quasimoto, :
В вашем случае
Обе функции repl вообще не имеют отношения к интерпретации "(loop)", говорю же.
в L-языке есть программа "(loop)" которая L-интерпретатором выполняется сколько угодно долго, но никуда не транслируется. Она _может_ каким-то транслятором переводится в программу на T-языке (которую может выполнять, не транслировать, T-интерпретатор).
Не понятно?
А кто запрещает? Можно оттранслировать в непонятную хрень, а потом для этой непонятной хрени написать исполнитель.
Ещё реприза:
произвольная функция между языками с известной семантикой это не трансляция
То есть если есть си и ассемблер, например, то трансляция предполагает сохранение семантики.