LocalazyLocalazy
Miranda is a high-level, general-purpose, pure functional programming language designed by Research Software Ltd. in 1985. It was named after Miranda Richardson, an English actress. Miranda is statically typed, with strong type checking. It supports higher-order functions, lexical closures, lazy evaluation, and garbage collection. The language has an imperative programming style, with side effects, but these are restricted to I/O. It is possible to write programs in a purely functional style. Miranda is widely used in academia, especially in the UK, and has a small but loyal following among commercial programmers.