Andy Melnikov (nponeccop) wrote,
Andy Melnikov
nponeccop

Список литературы

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

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

Системы типов - Хиндли-Милнер, лямбда-куб, Pure Type Systems, Martin-Lof Type Theory, плюс ресурсные (линейные, вывод регионов, статический подсчет ссылок), плюс всякие bounded/intersection types.

Плюс литература по доказательству теорем. Оттуда дорога к теории моделей, теории доказательств, теории множеств.

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

Плюс статьи по уже существующим языкам программирования.
Subscribe

  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 4 comments