fastml is a ml-like higher order functional programming language.