Нормально ли при написании компилятора использовать си, как целевой язык?

Question

[Василий Дёмин]

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

Comments

[wisgest]

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

[Saboteur]

Слово компиляция обозначает трансляцию кода в инструкции процессора, а не в язык ассемблера.
Слово трансляция - обозначает трансляцию кода из одного вида в другой. например в другой язык.

Уточните что вы хотите сделать для себя, и пишите как удобнее.

[Everything_is_not_so_bad]

Язык с автоматическим управлением памятью?

[Василий Дёмин]

Роман Мирр, В будуще планируется добавить, пока что делаю без неё. Я не вижу проблемы в написании сборщика мусора на си, если в этом была причина вашего вопроса.

Answer 1

[Rsa97]

На выходе компилятора должен быть машинный код (реального процессора или некой виртуальной машины). Если на выходе C или другой язык высокого уровня, то получите транслятор, а не компилятор.

Comments

[DevMan]

тащемта компилятор – тоже транслятор.
а перевод из одного языка в другой называется транспилированием.
https://ru.wikipedia.org/wiki/Транспайлер

[Василий Дёмин]

В своём вопросе я отталкивался от определения компилятора, данного в драконьей книге - программа, которая переводит программу, написанную на одном языке, в эквивалентную программу на другом языке.

Answer 2

[Everything_is_not_so_bad]

Нормально Си в качестве бэкенд использовать.
В качестве примера: Vishap's Oberon Compiler (voc). Вообще, Оберон (не Оберон-2) удобно рассматривать в качестве языка, который прост и у него есть приличное количество реализаций как с байткодом, так и на целевые платформы.
Можно еще WebAssembly генерировать, при помощи Cranelift IR.
Хотя иметь LLVM в зависимости не так уж и плохо.

Answer 3

[Михаил Потанин]

Да, такой подход используют, например, в ATS. Основные проблемы - медленно и не удается использовать информацию от фронтенда для оптимизации в бекенде.

Comments

[Everything_is_not_so_bad]

ATS или таки AST?

[Михаил Потанин]

ATS