$ CODIGO
log in

Miranda

Edit on GitHub GitHub logo

Paradigms

declarative, purely functional, functional

Typing

static system, strong typing

Influenced By

Kent Recursive Calculator, ML

Influenced

Erlang, Orwell, Haskell

External Links

Type programming
Created 1985
Designed by David Turner
PyPL Index N/A
TIOBE Index N/A
GitHub rank N/A

Code Example

↓
Loading...