数学で読み解くHaskell——入門編

いかろちゃん

Haskellの抽象的な概念（型システムからFunctor、Monadまで）を、集合や代数構造といった「馴染みのある数学の言葉」を補助線にして読み解く入門書。難解な理論を学ぶためではなく、Haskellの挙動を理解するためのツールとして数学を活用するスタイルで解説します。そのため、数学の教科書というより物理の教科書の雰囲気に近いです。