Velocity Reviews - Computer Hardware Reviews

Velocity Reviews > Newsgroups > Programming > Python > [OFF TOPIC] How to Learn Lambda Calculus: A Guide

Reply
Thread Tools

[OFF TOPIC] How to Learn Lambda Calculus: A Guide

 
 
Nonpython
Guest
Posts: n/a
 
      07-15-2010
1: Try to learn lambda calculus
2: Fail to learn lambda calculus
3: Sit in corner rocking
4: Consider suicide.
 
Reply With Quote
 
 
 
 
Peter
Guest
Posts: n/a
 
      07-15-2010
On Jul 16, 6:40*am, Nonpython <hwp...@gmail.com> wrote:
> 1: Try to learn lambda calculus
> 2: Fail to learn lambda calculus
> 3: Sit in corner rocking
> 4: Consider suicide.


You forgot:

5: (quietly) drooling

But then that might be part of the advanced course? I really can't
remember, my PHD in 'lambda calculus' was done so long ago now...
 
Reply With Quote
 
 
 
 
geremy condra
Guest
Posts: n/a
 
      07-15-2010
On Thu, Jul 15, 2010 at 1:53 PM, Peter <> wrote:
> On Jul 16, 6:40*am, Nonpython <hwp...@gmail.com> wrote:
>> 1: Try to learn lambda calculus
>> 2: Fail to learn lambda calculus
>> 3: Sit in corner rocking
>> 4: Consider suicide.

>
> You forgot:
>
> 5: (quietly) drooling
>
> But then that might be part of the advanced course? I really can't
> remember, my PHD in 'lambda calculus' was done so long ago now...


No PhD required (if one ever is, besides for jobification purposes).

Simple (somewhat shallow) introduction:
http://eflorenzano.com/blog/post/lambda-calculus/

A construction of the Church numerals: http://www.stephendiehl.com/?p=66

Not so hard, really.

Geremy Condra
 
Reply With Quote
 
 
 
Reply

Thread Tools

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off
Trackbacks are On
Pingbacks are On
Refbacks are Off


Similar Threads
Thread Thread Starter Forum Replies Last Post
Re: How include a large array? Edward A. Falk C Programming 1 04-04-2013 08:07 PM
Type of lambda function returning a lambda function... Haochen Xie C++ 4 03-17-2013 11:23 PM
lambda vs non-lambda proc Steve Dogers Ruby 1 03-30-2009 10:11 PM
Re: Lambda as declarative idiom (was RE: what is lambda used for inreal code?) Roman Suzi Python 13 01-07-2005 09:33 PM
newbie question: should I learn TKinter or skip it and learn more advanced toolkit? Porky Pig Jr Python 3 05-12-2004 08:58 AM



Advertisments
 



1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57