Danie Roux

People person, change agent. Journeyer through problem and solution space. Interested in being interested.

Danie Roux header image 2

Lambda Calculus and Haskell

May 21st, 2005 · 2 Comments · general

I’m teaching myself Haskell.

Its not easy going, I’ve been thinking in Object Oriented languages for too long! Getting used to the idea to actually abstract away state, is proving difficult.

I decided to take the plunge and first understand Lambda Calculus. Since this is the basis on which functional languages works, the idea is that from this I’ll be able to easily grasp other functional languages.

Its helping already, I understand where the signature for “map” come from.

I’m currently stuck in “Yet Another Haskell Tutorial” at the “Continuation Style Passing” section. That’s ultimately what decided me to understand Lambda Calculus. That and a thread on Lambda the Ultimate.

I don’t understand why I never saw Lambda Calculus at University, but then, I don’t understand why we weren’t given a functional language to learn either. I had a quick brush with “Caml Light” (not even OCaml!) in a “Programming Languages” practical. That was however so basic as not to count.

The bad news is that I need to start preparing for the exam that’s in two weeks and finish an assignment that has to be in the same day. So I would need to shift my focus in the next few days.

But this is much more fun!

Tags:

2 responses so far ↓

  • 1 vishnu // Jul 18, 2007 at 16:00

    i feel you man! im having exactly teh same problems. im studying lambda calculus as well

  • 2 Jorge Mendoza // Apr 23, 2009 at 08:47

    Wow…I see things haven’t changed in two years… Oh well back to studying damned lambda calculus…

Leave a Comment