はじめに ここまでで、型と純粋関数を圏としてモデル化する方法をみてきました。その際に計算効果を持つ非純粋な関数をモデル化するための概念として、モナドが出てきましたね。 ここでは、計算効果についてイメージを深めるため、計算効果の例をモナドの概…

はじめに 空圏 単純なグラフ 順序集合 集合としてのモノイド 圏としてのモノイド まとめ 参考文献 はじめに ここまで、圏とは何かについて述べ、Scala の型と関数を圏として捉えることができることを述べました。 taretmch.hatenablog.com taretmch.hatenabl…

はじめに 本記事では、Scala を構成する型と関数の圏である Scala 圏 (Hask 圏とも呼ばれます) について紹介します。まず、なぜ型が必要なのかについて述べ、型と関数を圏として考えていきます。 型と関数の圏 Hask 前回の記事 taretmch.hatenablog.com はじ…