モナドはなぜモナド則を満たさなければならないのか？
はじめに Haskell等でモナドという概念に触れていることを前提とします。 またこの記事では圏論の基礎的な知識を仮定します (クライスリ圏とかモノイド対象とかいう用語は出てこないから安心して！)。 私自身は情報系出身ではないため、計算機科学については詳しくありません。あくまで自分なりの理解を記したに過ぎないことをご了承ください。 参考文献 圏論の歩き方 この本ではでは圏論が各分野でどんなふうに使われているかがさらっと解説されています。 第5章は「モナドと計算効果」というタイトルで書かれています。 モナド則とは Haskell における型クラス Monad とは次のようなものです。 class Monad m where (>>=) :: forall a b. m a -> (a -> m b) -> m b return :: a -> m a ただし 2 つの関数 (>>=) と r
Scalazを使おう #1 | PSYENCE:MEDIA
はじめに Scalazを導入するメリットを書いていきたいと思います。 今回は、モナドの有用性について書きたいと思います。 Scalazお試し REPLでScalazを動かすにはまず次のようなbuild.sbtファイルを作ります。 scalaVersion := "2.11.6" libraryDependencies += "org.scalaz" %% "scalaz-core" % "7.1.1" initialCommands += "import scalaz._, Scalaz._" sbt consoleコマンドによりREPLでScalazが使えます。 モナドって何 モナドってなんだ？？？ 次の3つの法則（モナド則）を満たしていれば、それはモナドです。 (Monad[F].point(x)) >>= f == f x m >>= Monad[F].point == m (m >
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Monad laws - HaskellWiki
