F＃のモナド法則の説明

Question

ここはHaskellのExplanation of Monad lawsです。

F＃でのモナドの法律はどのように説明できますか？

1. バインド（M、リターン）M.

2. 結合することと等価である（（戻りX）、f）はF xと等価です。

3. bind（m、f）、g）は、bind（m、（fun x - > bind（f x、g）））と同等です。

Answer 1

私はF＃でそれらを理解する良い方法は、計算式の構文を使って何を意味するのかを見ることだと思います。いくつかの計算ビルダーにはmと書いてありますが、これはasyncまたは他の計算タイプであると想像することができます。

左アイデンティティ

m { let! x' = m { return x } = m { let x' = x 
    return! f x' }      return! f x' } 

右アイデンティティ

m { let! x = comp    = m { return! comp } 
    return x } 

アソシエ

m { let! x = comp    = m { let! y = m { let! x = comp 
    let! y = f x         return! f x } 
    return! g y }      return! g y } 

法律は、通常のF＃プログラムをリファクタリングできるように、意味を変えずに一方のバージョンのプログラムを他方のバージョンにリファクタリングできる必要があることを基本的に示しています。