Welcome to the Monastery PerlMonks

3Re: Programming and math

by jeffa (Bishop)
 on Aug 11, 2003 at 14:52 UTC ( #282899=note: print w/replies, xml ) Need Help??

in reply to Re: Re: 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

```L-LL-L--L-LL-L--L-LL-L--
-R--R-RR-R--R-RR-R--R-RR
B--B--B--B--B--B--B--B--
H---H---H---H---H---H---
```

Replies are listed 'Best First'.
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 F-system (where you get the ultimate polimorfism).

Create A New User
Node Status?
node history
Node Type: note [id://282899]
help
Chatterbox?
 [Eily]: s/complete ness/complete mess/ :P [Eily]: and you can overload "0+" rather than bool, as numification is used instead of stringification in boolean context when available

How do I use this? | Other CB clients
Other Users?
Others taking refuge in the Monastery: (8)
As of 2017-07-27 14:08 GMT
Sections?
Information?
Find Nodes?
Leftovers?
Voting Booth?
I came, I saw, I ...

Results (415 votes). Check out past polls.