in reply to Re: Re: Programming and math in thread Programming and math
Please define help, because some people consider
proving theories to be quite helpful. My definition
was something along the lines of "it doesn't hurt"  so i
will stick to what i said: "if you want to get into functional programming, then a good knowledge of lambda calculus will surely help". That is, of course,
generally speaking  YMMV.
Please don't discourage anyone from learning something new.
jeffa
LLLLLLLLLLLL
RRRRRRRRRRRR
BBBBBBBB
HHHHHH
(the triplet paradiddle with highhat)
Re: 3Re: Programming and math by zby (Vicar) on Aug 12, 2003 at 09:49 UTC 
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 Fsystem (where you get the ultimate polimorfism).  [reply] 
