3 ms·
Not really, Peter Landin’s ISWIM is essentially syntactic sugar over lambda calculus, and went on to influence ML and Haskell. So there is a more direct lineage
by cannabis_sam 7y ago
Not really, Peter Landin’s ISWIM is essentially syntactic sugar over lambda calculus, and went on to influence ML and Haskell. So there is a more direct lineage from lambda calculus to functional programming via that route.
(Regarding the sibling comment: Landin’s paper also predates Backus’ paper by about 10 years)
- didibus 7y agoNo idea how accurate it is, but Wikipedia says that ISWIM was influenced by Lisp...
- cannabis_sam 7y agoThat is correct. From Landin’s paper: 6. Relationship to LISP ISWIM can be looked on as an attempt to deliver LISP from its eponymous commitment to lists, its reputation for hand-to-mouth storage allocation, the hardware dependent flavor of its pedagogy, its heavy bracketing, and its compromises with tradition.