Разработчик языка программирования создает только стандарт?

Question

[Александр Гарелкин]

Прошу прощения за глупый вопрос.
Язык ведь определяет его транслятор? Когда говорят, что Страуструп создал ЯП, это значит он создал стандарт и рекомендации для компилятора или еще и сам компилятор?

Answer 1

[Станислав Макаров]

Язык ведь определяет его транслятор?

Вообще, это плохо. Конечно, у некоторых языков есть популярные стандартные реализации, на которые все равняются и которые как бы задают стандарт языка де-факто, но записанный стандарт всегда лучше стандарта-по-реализации. Потому что всегда есть, куда посмотреть, и бага реализации не превратится в фичу языка: почитайте про typeof null === 'object' в Джаваскрипте, это отличный пример, когда в стандарте языка закрепилась бага реализации.

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

Когда говорят, что Страуструп создал ЯП, это значит он создал стандарт и рекомендации для компилятора или еще и сам компилятор?

Точного определения понятия "создать язык программирования" мне не известно. Те же плюсы сначала были Си с классами, и классы, ЕМНИП, были реализованы с помощью макросов. Можно уже тогда было сказать, что был создан C++ или еще нет? А может, C++ был создан когда была написана первая программа на нём? Или когда был разработан первый стандарт? Поэтому лучше говорить конкретно - "была создана формальная спецификация языка" или "была создана первая реализация".

Для некоторых эзотерических языков (например, Malborge), первые программы были написаны гораздо позже создания самого языка, причём в автоматическом режиме. Это конечно извращенный пример, но он (как и сам вышеупомянутый язык) показывает относительность понятия "создание языка".

Comments

[Александр Гарелкин]

Т.е. он создал спецификацию?

[MiiNiPaa]

> Иначе можно стандартизировать нерабочие или нереализуемые концепции и фичи

К примеру C++ export: en.cppreference.com/w/cpp/keyword/export
Кое-как реализовано было одним компилятором.

[Станислав Макаров]

MiiNiPaa видимо это и был тот тестовый компилятор)) Либо они нарушили это правило для данной фичи.. А где кстати это работает, в Кланге?

[Станислав Макаров]

Владимир Каменев кто и какую спецификацию? Страуструп для C++?

[MiiNiPaa]

Станислав Макаров: В Comeau. Они добавили поддержку export в 2002. Были первыми и единственными, кто эту фичу реализовал.

[Станислав Макаров]

MiiNiPaa Ааа, ну конечно, я должен был догадаться кто это)) Жесть, люди весьма серьезно подходят к поддержанию репутации идеально соответствующего стандарту компилятора) Спасибо за информацию)

[Александр Гарелкин]

Станислав Макаров: ну да,я изначально это хотел уточнить, создав тред

[Александр Гарелкин]

Станислав Макаров: в итоге, что Страуструп разработал то?

[Станислав Макаров]

@VVlados
1) первую версию языка и первый транслятор языка ("Си с классами" транслировался в обычный Си);
2) первую версию стандарта языка;
3) участвует в разработке стандарта языка до сих пор.

Вы получили ответ на свой вопрос?

Answer 2

[mamkaololosha]

Стандарт создает группа экспертов, которые гарантируют, что через 5 лет не окажется, что в языке есть смертельная ошибка и он уничтожит человечество. Кстати Страуструп написал сам один из первых компиляторов С++ и написал на нем недо-гугл. Там еще была какая-то женщина, но её постоянно забывают.

Comments

[Александр Гарелкин]

Как понять уничтожит человечество? :)

[private_tm]

А можно поподробней про недогугл.

Answer 3

[abcd0x00]

Язык ведь определяет его транслятор?

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

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

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

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