Miranda

Miranda est un langage de programmation de haut niveau, polyvalent et purement fonctionnel, conçu par Research Software Ltd. en 1985. Il a été nommé d'après Miranda Richardson, une actrice anglaise. Miranda est typée statiquement, avec une vérification de type forte. Il supporte les fonctions d'ordre supérieur, les fermetures lexicales, l'évaluation paresseuse et le garbage collection. Le langage a un style de programmation impératif, avec des effets secondaires, mais ceux-ci sont limités aux entrées/sorties. Il est possible d'écrire des programmes dans un style purement fonctionnel. Miranda est largement utilisé dans le milieu universitaire, en particulier au Royaume-Uni, et a un petit nombre de fidèles parmi les programmeurs commerciaux.