]]> ]]>

HaMLet S

Реализация языка программирования ML

HaMLet S — это специальная версия HaMLet, которая включает некоторые расширения Successor ML.

Наиболее интересные расширения включаемые в HaMLet S:

  • расширенный записи
  • более экспрессивное сопоставление с образом
  • модули более высокого порядка и вложенные сигнатуры
  • локальные модули и модули первого класса
  • различные расширения исключающие некоторые проблемы с которыми сталкивается
    Standard ML

Комментарии

]]>

blog comments powered by Disqus

]]>

Работа программистам