[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Lambda calculus and it relation to LISP
From: |
Thaddeus L Olczyk |
Subject: |
Re: Lambda calculus and it relation to LISP |
Date: |
Sun, 06 Oct 2002 12:22:10 GMT |
On 4 Oct 2002 20:20:49 -0700, gnuist007@hotmail.com (gnuist) wrote:
>"The lambda calculus is a mathematical formalism
>having to do with the way functions instantiate
>their arguments. To some extent it is the theoretical
>basis for Lisp and plenty of other computer languages."
To really see a PL that "implements lambda calculus"
lok at Haskel, not Lisp.
- Re: Lambda calculus and it relation to LISP, (continued)
- Re: Lambda calculus and it relation to LISP, Barb Knox, 2002/10/07
- Re: Lambda calculus and it relation to LISP, David Kastrup, 2002/10/07
- Re: Lambda calculus and it relation to LISP, Gareth McCaughan, 2002/10/07
- Re: Lambda calculus and it relation to LISP, William Elliot, 2002/10/07
- Re: Lambda calculus and it relation to LISP, Gareth McCaughan, 2002/10/07
- Re: Lambda calculus and it relation to LISP, William Elliot, 2002/10/08
Re: Lambda calculus and it relation to LISP, Fred Gilham, 2002/10/05
Re: Lambda calculus and it relation to LISP, Kaz Kylheku, 2002/10/05
Re: Lambda calculus and it relation to LISP,
Thaddeus L Olczyk <=
Re: Lambda calculus and it relation to LISP, Alfred Einstead, 2002/10/11