Как написать язык программирования?

Question

[Иван Хабровчанин]

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

Comments

[ayazer]

можете начать отсюда. Тут на пару лет изучать хватит

https://www.amazon.com/Compilers-Principles-Techni...
https://www.antlr.org/
https://llvm.org/

Answer 1

[Griboks]

Развёрнутый ответ займет многобуков, поэтому кратко...
Языки бывают двух типов: компилируемые и интерпретируемые.

Сложность создания первых заключается в трансляции высокоуровневый абстракции в низкоуровневый код (+управление памятью и прочие сложные вещи). Самый простой подход - придумать свой синтаксис, который переводить в какой-нибудь C++ или C#, а затем использовать стандартные средства языка для компиляции.

Но я рекомендую вам сделать интерпретируемый язык (с постставкой Script). В таком случаем вы можете просто последовательно обрабатывать команды типа if cmd='add' then return a+b

А если вы не хотите разбираться во всем этом, то лучше использовать генератор парсеров/компиляторов. Затем написать на своём языке компилятор своего языка (bootstrapping), чтобы получить независимый компилятор.

P. S.
Ваш вопрос про ассемблер не понятен. Вы хотите написать парсер и компилятор на ассемблер или же хотите, транслировать ваш язык в ассемблер? Или интерпретатор на ассемблере? Чем ниже уровень, тем больше вариантов.

Comments

[Иван Хабровчанин]

Я бы хотел сделать программу на fasm'е которая переводила бы код моего языка на код fasm и компилировала его.

Если как вы говорите

if cmd='add' then return a+b

то нужно чтобы программа понимала где начало, где конец

[Griboks]

vanoren, тогда пишите лексер, парсер и иже с ними. Или воспользуйтесь готовыми генераторами, например yacc, lex.

В принципе, это зависит от синтаксиса и функциональности вашего языка. Если вы хотите просто добавить новые команды, функции, скобочки, то можно просто заменить регулярными выражениями исходный код на fasm код.

[Иван Хабровчанин]

ссылочки можно?

на yacc и lex

[Griboks]

Иван Балашов, можно поискать в интернете. Это известные вещи, на хабре даже статьи были.

Answer 2

[GavriKos]

https://tproger.ru/books/compiler-design-books/
Начните вот отсюда

Comments

[Иван Хабровчанин]

и сколько мне лет искать литературу в этом списке и читать

я ожидал увидеть развёрнутый ответ на вопрос а не список книг по этой книге

[GavriKos]

Иван Балашов, развернутый ответ на вопрос "как написать язык программирования" как раз в этих книгах.
Естественно читать и ПОНИМАТЬ вы их будете долго - а как еще хотели? Шнур в затылок еще не научились вставлять.

[Иван Хабровчанин]

GavriKos, ответ на вопрос должен быть как краткое содержание книги

[Иван Хабровчанин]

GavriKos, посмотри вверх

[Denioo]

Иван Балашов, уу с таким подходом врятли можно создать язык!

[Иван Хабровчанин]

Denioo, да что ты знаешь обо мне

[Denioo]

Иван Балашов, первого впечатления достаточно)

[ayazer]

Иван Балашов,

и сколько мне лет искать литературу в этом списке и читать

много. очень много. никто не будет перепечатывать целую книгу + ворох сопутствующих материалов только потому что вам лень прочитать оригинал написанный людьми которые явно что-то да понимают в написании компиляторов. Если бы это была простая тема - по ней не писали бы книги на тысячи страниц. Если очень уж чешутся руки - начните с компилятора для какого-то эзотерического языка (это действительно интересная и полезная задача). Он выйдет кривым/косым но у вас появится понимание почему-же по этой теме написано столько книг. Ну и да - компилятор того-же шарпа на гитхабе лежит в открытом доступе. Можете почитать исходники чтоб получить хоть приблизительное понимание о сложности этой затеи.

Answer 3

[Рональд Макдональд]

Можно, но невозможно.
Даже создание компилятора для уже существующего языка у команд профессионалов занимает годы, при этом в команде присутствуют отличные специалисты в самых разных сферах.

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

Comments

[pqgg7nwkd4]

А в чем "чрезвычайная сложность"?
Как-то у меня была задача оптимизировать интерпретатор для формул (выражений) в уже готовом проекте. Оптимизация дошла до JIT компиляции, что по сути является компиляцией в машинные коды. Добавить туда циклы, импорт библиотек и т.п. - не такая большая проблема.
А автор, как я понял, хочет транслировать в ассемблер и собирать им - тоже не сложно. А если транслировать в C, то собрать вообще под что угодно можно.

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

[Ternick]

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

[Иван Хабровчанин]

Ternick, в точку

[Ternick]

Иван Балашов, хотеть не вредно.