История изменений
Исправление quasimoto, (текущая версия) :
Но это не относится к нашему спору.
Это относится к тому, что compile/decompile не «взаимно-однозначны» — это сложно и невозможно, если только на классах эквивалентности modulo сохранению семантики — это возможно и легко, но не интересно и есть вопрос о том что есть сохранение семантики.
взаимно-однозначное существует
То есть ты можешь скомпилировать программу, потом декомпилировать её обратно и получить ту же программу?
Вот только код после декомпиляции невозможно читать людям
Нет, значит не взаимно-однозначное, если тебе не пофиг на читаемость и сохранение абстракций и не нужно только «работает так же» (да и то, не факт, что компиляция с оптимизациями, декомпиляция и повторная компиляция с оптимизациями будет «так же» работать).
Формально компилятор и интерпретатор ничем не отличается
А пруф? А то пишуть альтёрнатив апроач.
Но правда, что и то и другое можно объединить под общим «processing», «обработка».
З.Ы. в математике, тащемто, интерпретация и трансляция (гомоморфизм) это примерно то же, что эти понятия по ссылкам.
Исходная версия quasimoto, :
Но это не относится к нашему спору.
Это относится к тому, что compile/decompile не «взаимно-однозначны» — это сложно и невозможно, если только на классах эквивалентности modulo сохранению семантики — это возможно и легко, но не интересно и есть вопрос о том что есть сохранение семантики.
взаимно-однозначное существует
То есть ты можешь скомпилировать программу, потом декомпилировать её обратно и получить ту же программу?
Вот только код после декомпиляции невозможно читать людям
Нет, значит не взаимно-однозначное, если тебе не пофиг на читаемость и сохранение абстракций и не нужно только «работает так же» (да и то, не факт что компиляция с оптимизациями, декомпиляция и повторная компиляция с оптимизациями будет «так же» работать).
Формально компилятор и интерпретатор ничем не отличается
А пруф? А то пишуть альтёрнатив апроач.
Но и то и другое можно объединить под общим «processing», «обработка».
З.Ы. в математике, тащемто, интерпретация и трансляция (гомоморфизм) это примерно то же, что эти понятия по ссылкам.