Beefy Boxes and Bandwidth Generously Provided by pair Networks
Your skill will accomplish
what the force of many cannot
 
PerlMonks  

Re: 3Re: Programming and math

by zby (Vicar)
on Aug 12, 2003 at 09:49 UTC ( #283123=note: print w/replies, xml ) Need Help??


in reply to 3Re: Programming and math
in thread Programming and math

I just compared the helpfullness of lambda calculus to that of Turing Machine. I believe both have some value. Perhaps you are right that mine comment could discourage people to learn lambda calculus - and I should formulate it a bit more carefully. But I just tried to be honest.

Lambda calculus was quite nice, but it is too low level to be any practical and the interesting parts start when you learn the extensions to the lambda calculus like the F-system (where you get the ultimate polimorfism).

Log In?
Username:
Password:

What's my password?
Create A New User
Node Status?
node history
Node Type: note [id://283123]
help
Chatterbox?
and all is quiet...

How do I use this? | Other CB clients
Other Users?
Others having an uproarious good time at the Monastery: (2)
As of 2018-07-19 19:38 GMT
Sections?
Information?
Find Nodes?
Leftovers?
    Voting Booth?
    It has been suggested to rename Perl 6 in order to boost its marketing potential. Which name would you prefer?















    Results (416 votes). Check out past polls.

    Notices?