Andy Melnikov (nponeccop) wrote,
Andy Melnikov
nponeccop

Ближайшие планы

Накопился ряд некритических задач, многие из которых не требуют глубоких знаний Haskell и специфики проекта. В основном всякие тупые преобразователи: строки - ADT (парсеры), ADT - строки (pretty printers) и один средней сложности преобразователь ADT-ADT. Добровольцы приветствуются.

Критические задачи

Дизайн (обсуждение)

  • определиться, во что будут компилироваться полиморфные ФВП (сейчас шаблонные аргументы в генерируемом коде иногда не выводятся С++)
  • определиться, нужны ли where/let..in в тайпчекере
  • определиться с форматом возвращаемой иерархии идентификаторов в тайпчекере
  • определиться, как обрабатывать в тайпчекере семантику where из HN0

Планы по HN

  • переделать генерацию полиморфных функций

Планы по SPL

  • исправить ошибки вывода типов при перекрытии локальным идентификатором внешнего
  • исправить ошибки вывода типов при использовании одной where-переменной другой

Некритические задачи

Дизайн (обсуждение)

  • определиться, нужны ли intersection types, и если нужны - то в каком виде
  • определиться, есть ли принципиальные трудности с выводом максимально узкого типа
  • определиться с синтаксисом многофайловых программ

Планы по HN

  • написать парсер FFI
  • прикрутить парсер FFI к компилятору
  • расширить библиотеку на С++, чтобы можно было писать более интересные тесты
  • передавать в выводильщик типов информацию о позиции токенов в исходном тексте, чтобы он мог выдавать ошибку
  • правильный вывод ошибок парсинга и проверки типов, правильный код возврата
  • преобразование линейной позиции ошибки, возвращаемой тайпчекером, в двумерную "строка:символ в строке"
  • форматы сообщений, совместимые с Visual Studio
  • написать печать AST HN0 в синтаксисе HN0
  • оптимальная компиляция IO

Планы по SPL

  • написать печать типов SPL (Types.T) в синтаксисе Хаскеля
  • написать печать AST SPL (Types.C) в синтаксисе SPL
  • написать конвертор из AST SPL в AST HN0
  • более человекочитаемые ошибки проверки типов
Tags: compiler design, hn0
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.
  • 0 comments