This project aims to be a simple implementation of the Typeclassopedia in Scala. (If you find a simpler way to express something then please report it or send a pull request.)
Some people learn better by seeing things in code, with examples, which is why I started doing this. The tests are intended to be examples using typical types like Option and List, but also a custom type, Blub, to show that new types can make use of the type classes defined here.
I suggest you start with Functor as it is the simplest class to study, then Applicative, Monad, Semigroup and Monoid. Then have a look at Validation which is not part of the Typeclassopedia but its useful.
Do not start with Category, Arrow or Kleisli unless you've understood the above, your brain with melt and kittens will have their toys taken away. Before attempting to grok Category and its subtypes (Arrow), read Introduction to Category Theory in Scala by Heiko Seeberger.
But before you do any of that, you need to understand type classes in scala.
The tests serve as examples of use.
There is only one exercise.
- Check out the project
- Delete src/main/scala/org/typeclassopedia/std
- Delete src/test/scala/org/typeclassopedia/Blub.scala (except for the case class itself)
- Make all the tests pass again
- This project contains a copy of The Monad.Reader Issue 13 containing Brent Yorgey's The Typeclassopedia which provides descriptions of all the types defined here.
- Type Basics
- Advanced Types - particularly the section on Higher-kinded types & ad-hoc polymorphism
- Functors, Monads, Applicatives – can be so simple by Dirk Detering
- The Essence of the Iterator Pattern by Eric Torrebore
- Haskell Typeclassopedia
- Typeclassopedia presentation (use arrow keys)
- Learning Scalaz by Eugene Yokota
- Small (scala) examples by me
- Applicative Programming with Effects McBride and Paterson’s classic paper
- Introduction to Category Theory in Scala by Heiko Seeberger
- Scala Typeclasses presented by Dan Rosen
- Scala Typeclassopedia presented by John Kodumal