Serguey Zefirov (thesz) wrote,
Serguey Zefirov
thesz

Category:

Сейчас с одной мыслью разберусь.

Анонимус на RSDN высказался в стиле "я структурирую программы с помощью языков, а не типов".

Это просто необходимо разобрать.

Parsing Techniques: A Practical Guide содержит упоминание о грамматиках ван Вейнгаардена (вот тут фотография Вейнгаардена и академика Ершова). Это двухуровневые грамматики, где один уровень описывает грамматики уровнем ниже.

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

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

Что плохо.

Эта область практически не разработана.

Мне непонятно, как выводить сообщения об ошибке. Хотя это тоже можно придумать.

Реализацией будут такие комбинаторные разборщики "на стероидах", где ограничить разбор каким-либо формализмом невозможно. Хотя для меня это не минус, надо отметить.

В общем и целом, идея понятная. Моё отношение тоже понятно: мне проще работать пошагово, небольшими преобразованиями - разбор, семантика, оптимизация... ;)
Tags: rsdn, разборщики, языки программирования
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 12 comments