Language
Miranda
Programming language
Facts
- Appeared
- 1985
- Type system
- static typing, strong typing
- Latest version
- 2.066 (January 31, 2020)
- Languages it influenced
- 3
- Kind
- declarative programming language, purely functional programming language, off-side rule language
- Designed by
- David Turner
- Influenced by
- Kent Recursive Calculator, ML
- Licence
- 2-clause BSD License
- Influences listed
- 2
Sources: Wikidata (CC0) · Wikidata Q780803
Influenced · 3
| Language | Appeared | Paradigms | Type system | Languages it influenced |
|---|---|---|---|---|
| Erlang | 1986 | concurrent computing, functional programming, multi-paradigm programming, declarative programming | dynamic typing, strong typing | 8 |
| Haskell | 1990 | functional programming, purely functional programming, non-strict programming | static typing, inference typing, strong typing | 24 |
| Orwell | 1984 | functional programming | — | 1 |