Редкая профессия

[Lemming]

Сорри если баян, но на всякий случай поделюсь. Очень увлекательная статья как Российская небольшая софтверная фирма создала полноценный С++ компилятор!

http://www.pcmag.ru/issues/detail.php?ID=9972

[mazzy]

типичный пример "создания суперсистемы" по-русски.
Кратко: "мы строили, строили и наконец построили. Да здравствуем мы! Только не знаем будет ли это востребовано".
Ярко описан в книге "Левша".

Стоит сравнить, например, с историей создания того же С++
Книга: Дизайн и эволюция С++. Бьерн Страуструп
DjVu: http://freebooks.net.ua/1217-straust...jucija-c..html

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

[mazzy]

Цитата:

Сообщение от mazzy

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

Увлекся перечитыванием. Не могу не процитировать про перегрузку префксных и постфиксных ++ и --.

Цитата:

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

[dmitryul]

mazzy, могу предложить наверняка, что требовалось создать компилятор для embedded-систем и промышленных микроконтроллеров, там это актуально, т.к обычно код распространненных компиляторов получается громозким и медленным.

[macklakov]

Цитата:

Сообщение от dmitryul

mazzy, могу предложить наверняка, что требовалось создать компилятор для embedded-систем и промышленных микроконтроллеров, там это актуально, т.к обычно код распространненных компиляторов получается громозким и медленным.

С++ для embedded это дурная трата времени, если кто и занимается, то исключительно для собственного развлечения. Для embedded обычно реализуют функциональные языки, чаще всего, диалект С или Lisp. Они сравнительно просты в написании, специалист ваяет такой компилятор за несколько часов.

[gl00mie]

Цитата:

Сообщение от dmitryul

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

Если кто-то дочитал статью до конца то мог убедиться в том, что ни на какие embedded-системы созданный компилятор завязан не был:

Цитата:

Наша система не традиционный компилятор, порождающий объектный код, а так называемый компилятор переднего плана (front-end compiler), который в качестве результата своей работы формирует образ исходной программы на некотором промежуточном языке. Далее этот образ обрабатывается отдельной компонентой — генератором кода (back-end). Это обычная схема, давно принятая в многоязыковых системах программирования. Так как промежуточное представление выбирается единым для всех входных языков, то в системе достаточно единственного генератора кода, что исключает затраты на реализацию генератора для каждого отдельного компилятора. Кроме того, можно разработать несколько генераторов кода с единого внутреннего представления для различных аппаратных платформ, получив тем самым многоплатформную систему программирования. По этой схеме организована система gcc, похожим образом устроены и продукты семейства TopSpeed и десятки других.
Промежуточное представление, которое использовали [заказчики] в своих компиляторах (это, по существу, специальный язык, который можно назвать обобщенным ассемблером), было разработано довольно давно, выглядело несколько архаично, но для него было сделано несколько работающих генераторов для платформ Intel, Motorola, Sparc и менее известных процессоров.

Цитата:

Сообщение от macklakov

Для embedded обычно реализуют функциональные языки, чаще всего, диалект С или Lisp. Они сравнительно просты в написании, специалист ваяет такой компилятор за несколько часов.

Это такое «легкое художественное преувеличение», или есть реальный опыт написания компиляторов? Из моего скромного опыта, за несколько часов можно написать разве что простейший синтаксический анализатор a la калькулятор для сложных арифметических выражений.

[macklakov]

Цитата:

Сообщение от gl00mie

Это такое «легкое художественное преувеличение», или есть реальный опыт написания компиляторов?

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

[vc]

Цитата:

Сообщение от macklakov

Для embedded обычно реализуют функциональные языки, чаще всего, диалект С или Lisp.

Ну Lisp еще можно назвать функциональным языком, а С то каким образом?

[Lemming]

Цитата:

Сообщение от vc

Ну Lisp еще можно назвать функциональным языком, а С то каким образом?

А каким языком Вы себе представляете С?

[mazzy]

Цитата:

Сообщение от macklakov

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

Компилятор компилятору - рознь.

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

Но дело в том, что C++ очень неупорядоченный язык с префиксной и суффксной нотацией, смысл которой сильно зависит от того, что будет сказано впереди. Об этом и в статье говорилось, и Страустрап об этом писал с своих книгах. В частности, он писал, что он не смог использовать Yacc из-за особенностей синтаксиса С и С++.

То, что люди писали "с нуля" - не есть плохо.
То, что люди писали только после того, как разбирались 4 месяца - замечательно.
Плохо лишь то, что они не знают теперь что делать с написанным.

Я почему начал говорить о чисто русских особенностях.

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

А вот русские создали супер-систему и мучаются. Прочитирую себя:

Цитата:

типичный пример "создания суперсистемы" по-русски.
Кратко: "мы строили, строили и наконец построили. Да здравствуем мы! Только не знаем будет ли это востребовано".
Ярко описан в книге "Левша".

[vc]

Цитата:

Сообщение от Lemming

А каким языком Вы себе представляете С?

Императивным и процедурным

[Eldar9x]

Просто нет слов...