Как делают языки программирования?

Question

[Алексей Игошев]

Хотелось бы узнать, как разрабатывают языки программирования? Насчет C/C++ все понятно, на Ассемблере, а другие как?Например JavaScript или особенно хотелось бы узнать про HTML, неужели на том же C/C++, ведь он ничего общего с ним не имеет

Answer 1

[Сергей]

На С\С++ разрабатывают автомат, который читает входной поток исходного текста и генерирует абстрактное синтаксическое дерево исходного кода. Далее это проходит определенные преобразования, и на выходе будет программа для интерпретатора или программа в машинных кодах или программа для виртуальной машины (для отображения в частности HTML).

Разработка такого инструмента на C\C++ или на чем то еще не вызывает затруднений. Т.к. это все языки с полнотой по Тьюрингу. Т.е. все алгоритмы которые вы можете реализовать в рамках этих языков могут быть реализованы простейшей машиной Тьюринга.

Comments

[Алексей Игошев]

Получается в любом случае, любой скриптовый язык или же просто язык, это некая "условность", которая разрабатывается на C/C++ для узко-направленных целей?

[pi314]

Алексей Игошев: Любой ЯП - это не условность, а вполне себе даже конкретная, контекстно-свободная грамматика. На чем реализовать ее разбор и генерацию исполняемого кода (С/С++, ассемблер или даже Brainfuck) - абсолютно фиолетово. Просто делать это на С/С++ наиболее удобно и эффективно, вот и делают.
А так, чисто по приколу, полно всяких интерпретаторов/трансляторов одного эзотерического языка, реализованого на другом, например, того же Brainfuck на JS :)

[Алексей Игошев]

pi314: говоря про условность я говорил об условности восприятия человеком, того или иного языка. Не могу понять все таки, откуда идет начало языкам, знаю что есть машинный код в виде 0 и 1 , не думаю что на 0 и 1 пишут траснляторы того или иного языка, который в последствии может быть написан другим языком, будучи написанным на 0 и 1. (на 0 и 1 написали C++, на C++ написали Java и на этом же Java опять написали C++ или сам себя). Надеюсь все понятно.

[pi314]

Алексей Игошев: Все именно так и есть. Первые сформулированные ЯП (типа языка машины Тюринга) были вообще чистой абстракцией. Первые же практически применимые ЯП были ЯП низкого уровня, т.е. состояли, фактически, из множества команд процессора (грубо говоря, 1 и 0). И, да - на них программировали люди! Брали набор команд, переводили коды в 1 и 0 и, например, набивали дырочки на перфокартах или вводили коды комбинациями тумблеров прямо в процессор/память. Это и сегодня возможно (и в исключительных случаях даже необходимо), просто сегодня в этой кропотливой работе, в основном, нет необходимости, ибо существуют ЯП высокого уровня... Для специальных случаев есть ассемблер - те же самые инструкции процессора, на котором тоже можно программировать удобнее, чем на 1 и 0. Тем не менее, 1 и 0 все еще активно используются, например, для хакинга, т.е. модификации непосредственно бинарного кода программ, для которых нет исходников :)

Answer 2

[Mintormo]

Сначала язык придумывают. Решают для каких задач он нужен. Потом пишут программу-компилятор которая преобразует текст исходного языка в набор команд (машинный код процессора, байт-код виртуальной машины). Так реализованы Java, C, C++, Rust, Ассемблер. Языки могут быть и интерпретируемыми: то есть вместо программы-компилятора мы пишем программу-интерпретатор которая, в отличие от компилятора, сразу исполняет разобранную программу. Так реализованы, например, HTML и CSS. В браузер встроен интерпретатор HTML который читает код странички и рисует ее на экране. Еще есть смешанные схемы, когда исходный код разбирается интерпретатором и сразу преобразуется в машинный код процессора для увеличения скорости выполнения (JIT-компилятор). Так реализован JavaScript.

Answer 3

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

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