Category Archives: teaching

Catsters guide

tl;dr: http://byorgey.wordpress.com/catsters-guide-2/ In an attempt to solidify and extend my knowledge of category theory, I have been working my way through the excellent series of category theory lectures posted on Youtube by Eugenia Cheng and Simon Willerton, aka the Catsters. … Continue reading

Posted in haskell, math, teaching | Tagged | 1 Comment

Teaching abstraction

I’m just beginning to prepare for the third incarnation of CIS 194, Introduction to Haskell in the spring. It’s occasioned some general thoughts on teaching abstraction which seemed worth writing down. Abstractions, of course, are everywhere in CS. By abstraction … Continue reading

Posted in teaching | Tagged , , , | 8 Comments

Monads: Easy or Hard?

Executive summary: they are actually both (or neither). It is easy to learn their definition but hard to grasp the consequences. Or we might say they are easy to know and hard to understand (grok). It is vitally important for … Continue reading

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

Monad.Reader #13 is out!

Issue 13 of the Monad.Reader, which includes a revised version of the Typeclassopedia, is out. This version of the Typeclassopedia contains many updates and revisions. There are also three other great articles in this issue of the Monad.Reader, I hope … Continue reading

Posted in haskell, teaching, writing | Tagged , , , | 10 Comments

Typeclassopedia — a generic response

Thanks for all the fantastic feedback on the Typeclassopedia! Please keep it coming! Such an outpouring of helpful comments and suggestions deserves a response, so I just wanted to write a quick note to say that I am reading every … Continue reading

Posted in haskell, teaching, writing | Tagged , , | 4 Comments

The Typeclassopedia — request for feedback

I have just submitted a draft article for inclusion in the Monad.Reader entitled “The Typeclassopedia”. I will let the abstract speak for itself: The standard Haskell libraries feature a number of type classes with algebraic or categorical underpinnings. Becoming a … Continue reading

Posted in haskell, teaching, writing | Tagged , , , | 54 Comments

Abstraction, intuition, and the “monad tutorial fallacy”

While working on an article for the Monad.Reader, I’ve had the opportunity to think about how people learn and gain intuition for abstraction, and the implications for pedagogy. The heart of the matter is that people begin with the concrete, … Continue reading

Posted in haskell, learning, math, teaching | Tagged , , , , , | 93 Comments