Howdy Logo
Glossary Hero image

The Howdy Glossary

Search terms in Glossary


Miranda is a purely functional programming language used for teaching and research. It was developed from the earlier KRC language, which was itself an offshoot of SASL, at the University of Kent in England during the 1980s. Haskell, a more popularly known functional programming language that followed Miranda's development, has since overshadowed it. Miranda introduced lazy evaluation by default and non-strict semantics that made it easier to work with infinite data structures. The syntax follows closely with mathematical notations for functions and lists and uses pattern matching extensively.

Hire Miranda Experts

Enter your email to get started.