Helium

Helium — это компилятор и язык программирования, разработанный специально для изучения языка программирования Haskell. Основной упор в разработке был сделан на качество сообщений об ошибках. Для чего пришлось отказаться от поддержки некоторых языковых конструкций Haskell. Именно по этой причине Helium не поддерживает классы типов (type classes).

Все основные конструкции и особенности языка Haskell были сохранены: алгебраические типы данных, сопоставление с образцом, функции высокого порядка, “ленивые” вычисления и полиморфизм. Самое ощутимое различие с Haskell — отсутствие перегрузки.

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

Скорость исполнения кода в данном компиляторе никогда не была главной целью, однако он работает даже быстрее другого компилятора, разработанного для обучения Hugs.