Создание языка, нужен хороший backend

Question

Я хочу сделать скомпилированный язык. В настоящее время я оцениваю основы. До сих пор я смотрю на C из-за его скорости выполнения, компиляции и небольшого, простого в использовании компилятора TCC.

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

Вот некоторые из моих мыслей о других возможных движках:

1. Ассамблеи: непереносимая и общая боль программировать
2. .NET:. Чувствует очень медленно. 5 секунд для запуска и 5 секунд для оценки 1 + 2 на Ironpython и Boo. Невозможно запустить без большой библиотеки.
3. JVM: Чувствует себя немного медленным. Нет доступа к бинарным библиотекам. Невозможно запустить без большой библиотеки.
4. LLVM: Нет оконной поддержки. Я слышал, что скомпилированный исполняемый размер составляет 16 мб +
5. C--: выглядит недостаточно развитым.
6. C++: возможно. Не могу найти хороший небольшой бесплатный, с которым я могу связать.

Может кто-нибудь из вас изменит мой разум или еще чего-нибудь добавить в этот список?

Редактировать

Я экспериментировал с LLVM в последнее время. Я узнал, что у них есть предварительно скомпилированные двоичные файлы и что их можно скомпилировать в сборку.

http://www.antlr.org/wiki/display/CS652/Generating+machine+executable+binaries+with+LLVM

Вот шаги:

1. Run LLVM-а на LLVM Ассамблеи, которая дает байткодовую файл LLVM.
2. Запустите llc в файле байт-кода LLVM, чтобы получить файл сборки.
3. Запустите ассемблер в файле сборки, чтобы получить файл объекта. (Или запустить LLVM-ЛД, который, кажется, зависит от установленного извне C Compiler)
4. Compile в исполняемый файл с НКУ и т.д.

Answer 1

Рассматривали ли вы писать фронтэнд для GCC? Я упоминаю об этом исключительно для полноты - насколько я знаю, интерфейс бэкэнд довольно сложный, и кодовая база огромна и сложна для понимания.

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

Лично я предпочел бы LLVM (возбуждающие архитектуры) или IL .NET в: очень, очень прост в использовании, имеет большую поддержку инструмента (Reflector, Cecil, Reflexil и последнее, но не в последнюю очередь, .NET Reflection API) и два очень эффективные реализации (а именно, каноническая реализация Microsoft и Mono).

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

Answer 2

C++ не даст вам много, использовать C вместо. Но если вы хотите, чтобы язык использовался в Интернете, используйте .NET или Java, уверен, что они медленно загружаются, но когда они есть, они так же быстро, как C.

Answer 3

Для SmartEiffel мы используем C в качестве внутреннего.

ТСС является очень хорошим вариантом для Развитие-, хотя и не для окончательного освобождения (полученный объект эквивалентен Gcc -O0)

Answer 4

В этом случае LLVM, вероятно, лучший выбор.

LLVM поддерживает ОС Windows, он просто занимает некоторое время, чтобы собрать

Answer 5

другой, чтобы добавить к списку: Слава недавно внедренная Smalltalk на Factor backend. Я не пробовал это сам, но у меня такое чувство, что он предложит больше функций, которые вы хотите от более высокоуровневых, которые больше похожи на размер/производительность на более низких уровнях.

Answer 6

TCC - лучший выбор. Он переносимый и имеет библиотеку, поэтому его можно легко использовать в качестве бэкэнд, который называется libtcc. Исполняемые файлы меньше, чем gcc, и это ANSI C.