Haskell History


* Lambda calculus (Church, Kleene, Rosser, 1932 - ...)
* Goedel's general recursive functions (1934)
* Haskell Curry's combinatory logic (1940s, 50s)

* McCarthy's LISP (1961)
* Landin's ISWIM (mid 1960s, PAL implementation at MIT, 1968)

* Denotational semantics (Strachey, Scott)
  Wadsworth (1971)

* Lazy evaluation (1974-76)
  Vuilleman thesis (1974)
  Kahn Networks (1974, 1977)
  Henderson-Morris
  Friedman-Wise
  Ascroft-Wadge

* Polymorphic type systems
  Strachey (1967)
  ML (mid to late 1970s)

* Algebraic types
  hinted at in ISWIM
  Landin-Burstall (1969)
  Hope (Burstall-MacQueen-Sannella, 1978-79)

* David Turner's lazy languages
  SASL (St. Andrews)
  KRC (Kent Recursive Calculator)
  Miranda

* Orwell

* Haskell (~ 1990's)
  Haskell 98