zecl https://blog.hatena.ne.jp/zecl/ Bug Catharsis https://zecl.hatenablog.com/ プログラミング F#2.0 F# Rx コンピューテーション式 Haskell モナド 前回のエントリ「F#でRxる。よく訓練されたF#erはコンピューテーション式をつくる。」で紹介いたしました、 Observableコンピューテーション式について補足します。モナド則を満たしているか否かについてです。 Haskellにおいて、モナドがモナド則を満たしているとき、 1. (return x) >>= f == f x 2. m >>= return == m 3. (m >>= f) >>= g == m >>= (\x -> f x >>= g) 以上の三つの条件に満足しています。 モナドのすべてによると、最初の規則は return が >>=*1 に関して左単位元に なっている… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzecl.hatenablog.com%2Fentry%2F20110308%2Fp1" title="Observableコンピューテーション式はモナド則を満たしているか否か。 - Bug Catharsis" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2011-03-08 00:00:00 rich https://zecl.hatenablog.com/entry/20110308/p1 1.0 100%