HaMLet

HaMLet представляет собой реализацию Standard ML. Является преимущественно интерактивным интерпретатором, но и использует несколько других путей исполнения операций. Может исполнять различные фазы исполнения как синтаксический анализ, проверку типов, выборочную оценку, может исполнять программы без контроля типов для исследования поведения программ.

Главной целью HaMLet является не реализация еще одной системы SML, а создание точной модели исполнения и системы отладки для экспериментирования с семантикой SML, так же, безусловно, он создавался в образовательных целях.

Необходимо подчеркнуть, что HaMLet не система разработки программ, она была реализована для экспериментирования с языком SML. Интерпретатор очень неэффективен, а сообщения об ошибках не содержательны.