Andy Melnikov (nponeccop) wrote,
Andy Melnikov
nponeccop

Имеющийся прототип HN0

Состояние дел
  • Горы прочитанной литературы по языкам, компиляторам, оптимизаторам и системам типов
  • 2500 уродливых строк на Haskell и UUAG
  • Компилирует несколько программ с сохранением идентификаторов, но без оптимизаций для похожести на написанный человеком
  • SVN-репозиторий на Google Code
Используемые технологии
  • Haskell
  • Парсер Parsec 3
  • Препроцессор атрибутных грамматик UUAGC
  • Библиотеки тестирования HUnit, Quickcheck
Ближайшие планы (на ближайшие годы, судя по темпу написания оных 2.5к строк):
  • Переписать компилятор замыканий и вывод типов на UUAG
  • Переписать вывод типов с adhoc-алгоритма на стандартный Hindley-Milner-Damas-Mycroft
  • Закончить «компилятор замыканий»
  • Сделать FFI
  • Начать коммерческую эксплуатацию (мной)
  • Продолжить исследования и разработку оптимизатора для повышения «человекоподобности»
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.
  • 2 comments