High Level Thinking in Haskell
Contents
My previous post was about how I learned about Unicode because there was a section in Real World Haskell which implemented the encoding in a real deep down way. After a couple more chapters, I had to ditch that book because of its sheer size. I want to be a bit more versed with how to think in Haskell and then possibly I will tackle the book once again.
Querying on the internet, I came across the recommendation of BiteMyApp’s Chris Allen, who says it is better to start with UPenn’ CIS 194. I have already read a fair amount of theory by reading LYAH (which is an excellent book but lacks both real world examples and exercises) and Programming in Haskell which has exercises but is terse, cold, and glosses over almost all of the concepts. I would not recommend that as a first Haskell book.
I have started with CIS194 and so far I have completed 5 weeks of lectures and exercises and I can say that some of the exercises really are tough. Especially the week 5 exercise where we are supposed to make a calculator.
It starts from being a simple typeclass which adds and multiplies two numbers to a compiler for a calculator VM to one which allows to plug local variables in expressions. All this using a 12 typeclasses and with expressions so clear that it feels like magic.
For instance, this is what we start with:
A simple typeclass which just adds and multiplies:


Here’s the instance for Integer
:


Here’s one which works a similar way on Bool
:


The next step is to create an instance which allows us to send expressions over to a stack based VM.
The expression may contain one binary operator and 2 operands. The VM takes out the operator and applies that to the next 2 operands on the stack.


And the last one is about using the expression which contains local variables:


The last one was tricky and it took around 4050 minutes to come up with a solution – I wasted a lot of time looking at the screen. When I put pen to paper and tried to come up with the solution to parse and pattern match the given expression, I had an aha moment and solution appeared on the paper:


It certainly looks easy now, but at the time I was so slow that I was
almost crawling towards the solution. Especially because I was a bit
uncomfortable with the type (M.Map String Integer > Maybe Integer)
and then how to use this type in the add=/=mul
clauses. Even the lit
clause took a bit of time because I kept thinking about and looking at
n
. The signature of lit
is Integer > a
and I was thinking wrongly
of how to return a monster like
(M.Map String Integer > Maybe Integer)
from an Integer
. Turned out,
since these expressions are used later in another function withVars
,
which uses the expression and pass it a Data.Map
, I can pass function
which takes this list and works accordingly with it.
This was a remarkable exercise which forced me to think at a high level – the pattern matches, so use it instead of coming up with hacks of how to parse the expression and then use it. Add to that the syntax is so low on noise, it just looks sooo good.
The way I see it, since Haskell demands recursion, it becomes easier to think about and use the concept of pattern matching – which is an inherently recursive construct. Although almost all of the last few weeks’ exercises would look same in Python since it natively supports minimal syntax, first class functions, and list comprehensions, no doubt if I was trying to implement this week’s exercises in Python it would be huge and messy since pattern matching isn’t part of the language.
Now to mess my head some more. Onto week 6.
PS: The solutions are available here.
Author Tushar Tyagi
LastMod May 1, 2016