Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon.

Pages: 1-

Lisp isn't based on Lambda Calculus

Name: Anonymous 2019-08-15 4:02

https://danielsz.github.io/blog/2019-08-05T21_14.html

… one of the myths concerning LISP that people think up or invent for themselves becomes apparent, and that is that LISP is somehow a realization of the lambda calculus, or that was the intention. The truth is that I didn't understand the lambda calculus, really. — John McCarthy, Lisp session, History of Programming Languages

Name: Anonymous 2019-08-15 11:16

There are different kind of Lisps, some are rather closely emulate lambda calculus, to the point you can prove theorems with them. Others are more practical.

Name: Anonymous 2019-08-15 21:54

So, when are we starting a Haskell programming project.

Name: Anonymous 2019-08-19 4:39

what about scheme?

Name: Anonymous 2019-08-22 7:22

Name: Anonymous 2019-08-23 11:56

Scheduled reminder that LISP sucks!

Don't change these.
Name: Email:
Entire Thread Thread List