 Miranda (programming language)

Miranda is a purely functional programming language developed in the 1980s by David Turner and others at the University of Kent. It is known for its strong emphasis on functional programming concepts and its use of lazy evaluation, where expressions are not evaluated until their values are needed. Miranda introduced several features that have influenced subsequent functional programming languages, such as Haskell. Notably, it supports higher-order functions, list comprehensions, and an expressive type system.