Miranda

Miranda es un lenguaje de programación funcional puro, de propósito general y alto nivel, diseñado por Research Software Ltd. en 1985. Debe su nombre a Miranda Richardson, actriz inglesa. Miranda está tipado estáticamente, con una fuerte comprobación de tipos. Admite funciones de orden superior, cierres léxicos, evaluación retardada y recogida de basura. El lenguaje tiene un estilo de programación imperativo, con efectos secundarios, pero éstos se limitan a la E/S. Es posible escribir programas en un estilo puramente funcional. Miranda se utiliza mucho en el mundo académico, sobre todo en el Reino Unido, y tiene pocos pero fieles seguidores entre los programadores comerciales.