"HaMLet is a faithful implementation of the Standard ML programming language (SML'97)." Written entirely in Standard ML, with the ability to bootstrap; may readily be compiled with SML/NJ, Moscow ML, or MLton; written with the goal of experimentation in mind. Interpretation is highly inefficient (since it is a direct implementation of the semantic rules) and error messages are very taciturn.