Hope is also a functional Language "Hope is a small functional programming language, with polymorphic typing, algebraic types, pattern matching and higher-order functions. The version here is a fully lazy interpreter." http://www.soi.city.ac.uk/~ross/Hope/ That's quite confusing.