in reply to 3Re: Programming and math
in thread Programming and math
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).
|
|---|