Miranda programming language
GPTKB entity
Statements (25)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:programming_language
|
| gptkbp:designedBy |
gptkb:David_Turner
|
| gptkbp:developer |
Research Software Ltd.
|
| gptkbp:fileExtension |
.m
|
| gptkbp:firstAppearance |
1985
|
| https://www.w3.org/2000/01/rdf-schema#label |
Miranda programming language
|
| gptkbp:influenced |
gptkb:Haskell
|
| gptkbp:influencedBy |
gptkb:SASL
gptkb:KRC ML |
| gptkbp:license |
proprietary
|
| gptkbp:notableFeature |
algebraic data types
lazy evaluation pattern matching list comprehensions |
| gptkbp:operatingSystem |
gptkb:Unix
|
| gptkbp:paradigm |
functional programming
purely functional non-strict evaluation |
| gptkbp:status |
discontinued
|
| gptkbp:typingDiscipline |
strong
static |
| gptkbp:website |
http://www.cs.york.ac.uk/fp/miranda/
|
| gptkbp:bfsParent |
gptkb:Hope_programming_language
|
| gptkbp:bfsLayer |
8
|