Какой язык компиляторов? Они написаны на разных языках?

Question

Компиляторы на разных языках?

Answer 1

Вот несколько примеров:

• компилятор Rubinius Ruby написан на Ruby,
• компилятор YARV Ruby написан на C,
• компилятор XRuby Ruby написан на Java,
• Ruby.NET Ruby-компилятор написан на C #,
• компилятор MacRuby Ruby написан на Objective-C,
• компилятор IronJS ECMAScript написан на F #,
• компилятор MS Visual F # написан на F #,
• компилятор MS Visual C # написан на C ++, в настоящее время переписывается на C #,
• компилятор MS Visual Basic.NET написан на C ++, в настоящее время переписывается в Visual Basic.NET,
• компилятор GCC C написан на C,
• компилятор Clang C написан на C ++,
• большинство компиляторов Паскаля написаны на Паскале,
• большинство компиляторов Оберона написаны на Обероне,
• компиляторы 6g / 8g и gccgo Go написаны на языке C.

В общем, компиляторы могут быть написаны на любом языке, который на самом деле достаточно мощный, чтобы писать компилятор. Это, очевидно, включает любой язык, полный Тьюринга. Но возможно даже написать компилятор на языке, не полном Тьюринга. (Например, я не вижу очевидной причины, по которой компилятор не может быть тотальной функцией, но итоговые функции явно не являются полными по Тьюрингу.)

На практике, однако, компиляторы в основном написаны на трех конкретных классах языков с разными плюсами и минусами:

1. тот же язык, который реализует компилятор (плюсы: большее сообщество, потому что все, кто знает язык, могут работать на компиляторе, в противном случае им нужно будет знать оба языка; минусы: проблема с загрузкой)
2. основной низкоуровневый язык системного программирования платформы, на которой должен работать компилятор, например C на Unix, Java на JVM, C # на CLI (плюсы: очень быстро; минусы: часто эти языки просто не очень хороши для написания компиляторов, также я на самом деле не верю, что преимущества производительности реальны)
3. язык, который очень хорош для написания таких компиляторов, как ML, Haskell, Lisp, Scheme (плюсы: эти компиляторы, как правило, очень легко понять и взломать; минусы: вам все равно нужно знать оба языка)
   1. особый случай вышеупомянутого: предметно-ориентированный язык для написания компиляторов, таких как OMeta или для синтаксического анализа ANTLR, YACC (плюсы: те же, что и выше, но даже больше; минусы: те же, что и выше)

Все это по сути компромиссы: написание компилятора на одном языке облегчает понимание, потому что вам не нужно изучать другой язык. Это также может усложнить понимание, потому что язык не очень хорош при написании компиляторов. (Представьте, например, написание компилятора SQL на SQL.) Возможно, даже невозможно написать компилятор, например (для довольно свободного определения «язык» и «компилятор») это невозможно написать компилятор CSS в CSS или компилятор HTML в HTML.

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

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

В некоторых случаях вы действительно можете попасть в сладкое пятно. Например, F # - это родной язык с родной скоростью в CLI, и он очень хорош при написании компиляторов. Таким образом, написание компилятора F # на F # дает вам № 1 (писать самому), № 2 (писать на родном, быстром языке) и № 3 (писать на языке, который хорош для написания компиляторов). То же самое относится и к Scala.

Answer 2

A компилятор может быть написан на любом языке. В своей основной форме компилятор просто конвертирует код из одного языка в другой. В том смысле, что большинство людей используют термин «компилятор» сегодня, они имеют в виду что-то, что берет исходный код некоторого языка более высокого уровня и преобразует его в ассемблер или в какой-либо промежуточный язык низкого уровня ( CIL ) .

Answer 3

Иногда да, иногда нет.Принято пытаться как можно быстрее реализовать компилятор для нового языка на этом языке, частично чтобы доказать, что он может выполнять «тяжелую работу».

Но, конечно, сначала вам нужен компилятор или хотя бы интерпретатор для запуска этого компилятора и его компиляции - так что сначала вы должны реализовать его на другом языке.

И для многих специализированных языков написание компилятора на самом языке нецелесообразно, поскольку язык не предназначен для таких вещей, как компиляторы.

Answer 4

Компиляторы часто пишутся на языке указанного компилятора. Например, компилятор C обычно написан на C.

... что поднимает вопрос "как вы компилируете это в первый раз?" На что я слышал два ответа: либо он скомпилирован вручную (как бы страшно это не звучало), либо один обманывает и использует существующий компилятор для этого языка.

Как прокомментировал @jball, прочитайте статью в Википедии о Начальная загрузка для получения полной информации.

Answer 5

На каком языке что-нибудь? Например, gcc записывается в C .
Однажды была история про Lisp интерпретатор, который был написан на Lisp.

Это поднимает следующий вопрос - если компилятор C написан на C, то что скомпилировало первый компилятор C? Для этого читайте здесь .