6

While learning Haskell I took a side road (so to speak) in researching the Kent Recursive Calculator and SASL functional languages. I was immediately struck by the similarities between them and Haskell and since they predate it I wonder if/how they provided influence.

Any information regarding the influence (or lack thereof) of KRC and SASL on Haskell would be much appreciated.

Greg S
  • 12,333
  • 2
  • 41
  • 48
fogus
  • 6,126
  • 5
  • 36
  • 42

1 Answers1

14

The connection you're probably looking for here is that David Turner, who was largely responsible for SASL and KRC, was also involved with Miranda, a non-strict, purely functional language. Miranda was relatively popular in its time, but was a proprietary language; an open standard alternative to Miranda was a major motivation for the creation of Haskell.

For further details, see also A History Of Haskell: Being Lazy With Class, by Hudak, Hughes, SPJ, and Wadler, which mentions Turner's work as well as other influences on Haskell.

C. A. McCann
  • 76,893
  • 19
  • 209
  • 302
  • 2
    That was indeed the missing link! Thank you. – fogus Dec 01 '10 at 20:27
  • 4
    Haskell was initially based on OL, a variant of Orwell, both developed by Wadler. Wadler was influenced by KRC and Miranda. SASL and KRC influenced a whole generation of languages, most of which were used only at single sites. Haskell was developed as a common language to replace these many similar languages. It seems to have been mostly successful; I think that out of that generation, only Clean lives on. – Jeremy W. Sherman Dec 01 '10 at 20:37
  • @Jeremy W. Sherman: Yeah, there's not really any simple line of descent for "where this language came from", but everything I've heard is that Miranda was the front-runner of that generation by a good margin when Haskell was first developed. Either way, Turner's indirect influence on Haskell was significant. – C. A. McCann Dec 02 '10 at 17:41