Tag Archives: Typeclassopedia

Parametricity for Bifunctor

I’ve begun work to add Bifunctor, Bifoldable, and Bitraversable to the Typeclassopedia. While thinking and writing about Bifunctor I ended up proving some “folklore” results for my own satisfaction, and decided someone might possibly find it useful if I formally … Continue reading

Posted in haskell, math | Tagged , , , , , | 3 Comments

The Typeclassopedia is now up-to-date

The title pretty much says it all: I have finally finished (I hope) updating the Typeclassopedia to reflect various recent changes to the language and standard libraries (such as the AMP and BBP/FTP). Along the way I also added more … Continue reading

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

Call for contributions: second edition of the Typeclassopedia

The Typeclassopedia, by all accounts, has turned out to be a popular and useful resource for Haskell programmers. I’ve been thinking for a while about putting out a revised and expanded second edition, and it’s finally time. Planned changes include: … Continue reading

Posted in haskell, writing | Tagged , , , , | 17 Comments

Typeclassopedia in Japanese!

Satoshi Nakamura has published a Japanese translation of the Typeclassopedia. I don’t read any Japanese, but it sure looks cool, and I hope this will be a great resource for Japanese learners of Haskell. A big thank you to Satoshi … Continue reading

Posted in links | Tagged , , , | Leave a comment

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