型クラスは、何らかの振る舞いを定義するインターフェイスです。ある型クラスのインスタンスである型は、その型クラスが記述する振る舞いを実装します。
Scalaz 曰く:
It provides purely functional data structures to complement those from the Scala standard library. It defines a set of foundational type classes (e.g.
Functor
,Monad
) and corresponding instances for a large number of data structures.
Scala 標準ライブラリを補完する純粋関数型データ構造を提供する。(
Functor
やMonad
など) 基本的な型クラスを定義し、また多くのデータ構造に対して対応するインスタンスを提供する。
Haskell をたのしく学びながら Scalaz も学べるかためしてみよう。