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

Question

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

Захотелось сделать что-то новое и необычное, решил создать ЯП. Какой язык лучше подходит к этой цели(слышал про ассемблеры, но по ним мало материала, с машинным кодом не знаком. Хотелось бы так же увидеть ссылки на статьи с определёнными языками, в которых на практике показывается создание ЯП.

Comments

[alex-khv]

Лучше без подсказок напиши архиватор из семейства lempel ziv welch. Потом Huffman. Потом скрести их.

[alex-khv]

Потом научись преобразовывать математическое выражение в обратную польскую нотацию.

Answer 1

[Griboks]

Тут есть два основных подхода:
1) Вы делаете свой синтаксис с автоматической трансляцией и генерацией дополнительного кода в другой язык, например в js или c.
2) Вы делаете виртуальную машину, которая выполняет ваш язык. Тут нет привязки к базовому языку, поэтому вы можете сделать такие штуки, как переменные универсального типа, супер-мега-динамичность и т.п. Однако вам придётся реализовать вашу машину на любом другом языке.

Ну и также можно почитать про строгую/нестрогую, статическую/динамическую типизации, компиляцию/интерпретацию. Это всё условные вещи, но помогают понять, что вы хотите от своего языка.

Comments

[Василий Банников]

А как же написать свой компилятор, который генерирует LLVM-IR или байт-код для существующей виртуальной машины: JVM, CLR, WASM?

[Griboks]

Василий Банников, вопрос ведь про язык, а не его компилятор. Впрочем, я же указал

свой синтаксис с автоматической трансляцией и генерацией дополнительного кода в другой язык

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

Answer 2

[Пашенька]

Все создатели ЯП именно так и начинали – с вопроса на тостере.

Comments

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

Мы не в то время живём. Человечество развивалось за счёт общения, небудь общения - небудь развития. Так как разные люди усваивают информацию по разному, они рано или позно придут к общему мнению за счёт общения

[Пашенька]

Иван Балашов, в том то и дело, у людей даже интернета не было, однако это их не останавливало, а сейчас вся необходимая информация у вас всё перед носом, но вам этого недостаточно. Я спойлерну и скажу, что не выйдет у вас родить язык программирования. Без обид.

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

Пашенька, А к чему мы тогда стремимся, мы люди, мы всё упрощаем для себя

[Roman K]

Иван Балашов, Ты, например, стремишься философствовать, а не решать свою задачу.

[Пашенька]

Иван Балашов, нет, ну стремление, это безусловно, хорошо, это достойно похвалы. Но в моём представлении вещей, вы уже плохо начали, чтобы что-то вышло. Но не слушайте меня, делайте, я искренне верю в то, что настойчивость побеждает, если речь идёт не о поезде. В битве с поездом, всегда побеждает поезд.

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

Пашенька, если конечно ты не быстрее поезда)

Answer 3

[0nkery]

https://monkeylang.org/ -- неплохой туториал по созданию несложного императивного ЯП.

craftinginterpreters.com -- более сложный и полный материал (там что-то вроде Java получается в результате).

Comments

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

надеюсь всё прочитаю, спасибо

Answer 4

[Василий Банников]

1. Определяемся с тем, что мы хотим получить, какую задачую будет решать наш новый язык.
2. Убеждаемся, что ниша ещё не занята
3. Пишем грамматику языка на ANTLR
4. Разбираем получившееся абстрактное синтаксическое дерево
5. Генерируем из АСТ LLVM-IR/байт-код JVM/.NET IL или вообще сразу начинаем выполнение.
6. ???
7. PROFIT!
Мы создали свой язык со своей грамматикой и компилятором/интерпретатором.
Может быть, он даже работает и не совсем бесполезен.
Осталось написать плагины для популярных редакторов кода, чтобы писать код было не слишком больно.

Answer 5

[koperagen]

Ну, туториалы по созданию уже упомянали. Добавлю Компиляторы: принципы, технологии и инструменты
Есть пример создания языков для LLVM https://llvm.org/docs/tutorial/ (реализацию можно найти и на других языках, как минимум видел на хаскеле и котлине)

Answer 6

[Saboteur]

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

p.s. ВООБЩЕ не важно на каком языке писать язык программирования, особенно для тренировочного личного проекта.
Ну и хотя бы почитать про компиляторы и интерпретаторы чтобы определиться.