Miranda

Miranda es un lenguaje de programación funcional puro y perezoso diseñado por David Turner como sucesor de sus lenguajes de programación anteriores SASL y KRC, utilizando algunos conceptos de ML y Hope. Fue producido por Research Software Ltd. de England (que posee una marca registrada sobre el nombre Miranda) y fue el primer lenguaje funcional puro que recibió soporte comercial. Miranda se lanzó por primera vez en 1985 como un intérprete rápido en C para sistemas operativos de tipo Unix, con lanzamientos posteriores en 1987 y 1989. Tuvo una fuerte influencia en el lenguaje Haskell posterior. Turner afirmó que los beneficios de Miranda sobre Haskell son: "Lenguaje más pequeño, sistema de tipos más simple, aritmética más simple". En 2020 se lanzó una versión de Miranda como código abierto bajo una licencia BSD. El código se actualizó para cumplir con los estándares modernos de C (C11/C18) y para generar binarios de 64 bits. Esto se ha probado en sistemas operativos que incluyen Debian, Ubuntu, WSL/Ubuntu y macOS (Catalina). Descripción general Miranda es un lenguaje de programación funcional puro y perezoso. Es decir, carece de efectos secundarios y de características de programación imperativa. Un programa de Miranda (llamado script) es un conjunto de ecuaciones que definen varias funciones matemáticas y tipos de datos algebraicos. La palabra conjunto es importante aquí: el orden de las ecuaciones es, en general, irrelevante, y no hay necesidad de definir una entidad antes de su uso.