Programming Language - Miranda

Miranda

Miranda - (latin for "admirable", also the heroine of Shakespeares
Tempest). David A. Turner , U Kent early 1980s. Lazy,
purely functional. A commercial descendant of SASL and KRC, with MLs type
system. Terse syntax using the offside rule for indentation. Type
declarations are optional. Nested pattern-matching, list comprehensions,
modules. Sections rather than lambda abstractions. User types are
algebraic, may be constrained by laws. Implemented by SKI reduction. The
KAOS operating system is written entirely in Miranda. "Miranda: A Non
Strict Functional Language with Polymorphic Types", D.A. Turner, in
Functional Programming Languages and Computer Architecture, LNCS 201,
Springer 1985. "Functional Programming with Miranda", Holyer, Pitman Press
0-273-03453-7. (See Miracula, Orwell).
info: Research Software Ltd, or mira-request@ukc.ac.uk
ftp://wombat.doc.ic.ac.uk/pub/mira2hs* and mira2lml* Translators from
MIranda to Haskell and Miranda to LML

Comments, Experience, Additions

Name: *

Email Address: *

City, Country:

Comments: *

13 plus 4? *   Robot Spam Prevention

 

Next Language:   MIRFAC

Browse by Letter

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z