Category Archives: learning

Patch theory thoughts, part I

So, I still don’t know whether I’ll actually end up writing a gobby clone in Haskell. But it’s already been a wild ride thinking about the theory behind it and some of the issues involved, and over the next few … Continue reading

Posted in haskell, learning, projects | Tagged , , | 4 Comments

Type theory, here I come…

For Christmas my parents got me a copy of Types and Programming Languages. w00t! I started reading it today on the subway coming home from work. Unfortunately I’m kind of anal about reading prefaces, introductions and so on, so I … Continue reading

Posted in learning | Tagged , | 1 Comment

Mapping over a nested functor?

The other day I had a triply-nested list of type [[[a]]], and found myself applying this function to it: sort . map sort . map (map sort) This annoyed me. I want a way to say, “map this function over … Continue reading

Posted in haskell, learning | 5 Comments

Deducing code from types: filterM

The other day in #haskell a few people were trying to figure out how to generate the list of all sublists of a given list. Various people tried various kludgy things involving inits and tails and concatMap, none of which … Continue reading

Posted in haskell, learning | 2 Comments