Thursday, 1 January 2015

lo.logic - What is lambda calculus related to?

I think, based on Your interests (programming, LISP), that it could work if You followed the path of a Haskell programmer:



Haskell wiki



Subpage Learning Haskell is a good place to start (see it in the leftmost column, second below Learning header).



Despite of Haskell being a LISP-successor, still, there will be a learning curve (Haskell is very clean, compared to LISP, and it reaches back to several deep logical foundations), but this learning curve can be distributed well along a larger time span, and it will yield fun during the whole time. Even the first minutes will yield pleasure (total lack of side effects, the beauty of currying, the extremely clean economy of concepts). The deeper details will come later automatically (category theory, lambda calculus, combinatory logic, type theory).

No comments:

Post a Comment