Description #
Miranda is a lazy, purely functional programming language that influenced the development of Haskell.
History #
Created by David Turner in 1985, Miranda was one of the first widely used purely functional languages, introducing many modern functional programming concepts and syntax.
Hello World Code #
main = "Hello, World!"How to Run #
Option 1: Online
Try Miranda Online
Option 2: Local
- Download interpreter:
https://www.cs.kent.ac.uk/projects/miranda/ - Run using:
mirandaKey Concepts #
- Lazy evaluation
- Pure functional semantics
- List comprehensions
- Pattern matching
- Strong static typing with type inference
- Modules and libraries
- Simple, readable syntax
- Influenced Haskell and other languages
- Supports higher-order functions
- Interactive REPL
Try It Online #
Fun Facts #
- Miranda was a commercially licensed language before Haskell became popular.
- It introduced layout-based syntax to replace explicit brackets.
- Many ideas from Miranda were adopted by Haskell.
