-
-
Notifications
You must be signed in to change notification settings - Fork 85
/
lazyml.scroll
24 lines (21 loc) · 1009 Bytes
/
lazyml.scroll
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
import ../code/conceptPage.scroll
id lazyml
name Lazy ML
appeared 1980
tags pl
fileType text
centralPackageRepositoryCount 0
country Sweden
originCommunity Chalmers University of Technology
wikipedia https://en.wikipedia.org/wiki/Lazy_ML
example
let rec fact 0 = 1 ||
fact n = n*fact(n-1)
related haskell ml
summary Lazy ML (LML) is a functional programming language developed in the early 1980s by Lennart Augustsson and Thomas Johnsson at Chalmers University of Technology, prior to Miranda and Haskell. LML is a strongly typed, statically scoped implementation of ML, with lazy evaluation. The key innovation of LML was to demonstrate how to compile a lazy functional language. Until then, lazy languages had been implemented via interpreted graph reduction. LML compiled to G-machine code. LML is also notable as the language in which HBC, the Haskell B Compiler, was implemented.
pageId 15127519
dailyPageViews 8
created 2008
backlinksCount 37
revisionCount 19
appeared 1980