Menu


Microsoft Most Valuable Person

FAIC モナド、パート6

原文

この連載では、モナド・パターンの本当のルールを前回やっと導くことができた。C#におけるパターンは、モナドは M<T> ジェネリック型で、 T 型の力を「増幅する」というものだ。T 型の値から M<T> を生成する方法がいつでも存在する。それは次のようなヘルパーメソッドが存在することで表した:

また、A 型のどんな値でも受け取って M<R> 型の値を返す関数があれば、その関数を M<A> 型のインスタンスに適用して、やはり M<R> 型の値を返す方法が存在する。それは次のようなヘルパーメソッドが存在することで表した:

これで終わり?まだだ、まだ終わらんよ。モナド・パターンの正しい実装を得るためには、これら2つのヘルパーメソッドにいくつかの制約を追加して、ヘルパーメソッドが行儀よくふるまうことを保証しないといけない。具体的にはこうだ: 1つ目の生成ヘルパー関数は値を「ラップ」するものとみなせるし、2つ目の適用ヘルパー関数は値を「開封」する方法を知っている; であれば、値をラップして開封する操作を行ったときに、元の値が保持されていることを要求してもいいだろう。

そのことを念頭に置くと、ApplySpecialFunction が2番目の引数として AM<R> に変える関数を受け取っているが、 それは任意の A と任意の R であるということに気づく。一方、CreateSimpleMTM<T> に変える関数なのだから、つまり ApplySpecialFunction の引数となりえる! 以下のようなコードがあったとしよう: 1

そして、CreateSimpleNullable のシグネチャを見れば、ApplySpecialFunction の第2引数として渡しても問題ないことが分かっているので:

というコードは想定通りの動作をする。もし original がヌルだったら、ヌルが戻ってくる。もし original が12みたいに値を持っていたら、値は開封されて MakeSimpleNullable に渡されるので、ラップされた12が戻ってくる!このルールは次の通り:

「値の単純なラッパーを作る」関数をモナド値に適用したら、元のモナド値が得られなければならない。

そしてこの場合に必要なものは実際には値の同一性だ。気を付けてほしいのは、参照の同一性は要求していないこと。モナド型がたまたま参照型だったとしてもね。OnDemand<T> モナドも見てみよう:

ここで以下のようなコードを書けば、

originalresult の参照は一致しないはずだ。でも originalresult は同じことをする: これらを呼び出したら、現在の秒数が得られる。result の方は不要な輪っかを潜り抜けないといけないのが残念だけれど、でも結果は同じだ。

モナド・パターンの実装の中には、2つのインスタンスが参照として等しいことを簡単に保証できるものもあるだろう。それはそれでいいことだ。でも、実際に必要なのは、あるモナドに単純な生成関数を適用したときに、元のインスタンスと結果のインスタンスが意味的に等しいということだけだ。

次の制約は、「値の単純なラッパー」が、実際に値の単純なラッパーとしてふるまうということだ。でもそれってどう表現すればいい?これは例の2つのヘルパーメソッドがあれば簡単なことだ。実例を見てみよう。SafeLog メソッドを思い出してほしい:

ここで以下のようなコードを書けば:

result1result2同じヌル許容 doubleになると思わない?もし Nullable<int>int の単なるラッパーだとすれば、ラッパーの方に関数を適用しても、元の整数値に関数を適用するのと同じことになるはずだ。このルールを一般化すると、あるモナド化関数をある値に適用した結果と、「モナドでラップされた」同じ値に適用した結果は、同じ2にならなければならないと言える。

さて、またここでまとめよう。モナド・パターンのルールは、モナド型 M<T> には次のメソッドと論理的に等価な操作が提供されるということだ:

これらのメソッドは次のような制約に従わなければならない:

someMonadValue と論理的に等しい値を返すことと、

と論理的に等しい値を返すことだ。

もうこれで完璧でしょ?そうでしょ?

……いいや。 モナド・パターンにはこれでもまだルールが1つ足りていない。でも信じてほしい、これが本当の最後だ。次回のFAICでは、プログラミングの本質について、もっと言えばすべての問題解決の本質について議論する。そしてモナド・パターンがそこに当てはまることがわかるだろう。その過程で、最後のルールが導かれる。

  1. もういいかげん、メソッド本体を冗長に書かなくてもいいよね?
  2. 繰り返すが、参照は一致していなくていい。結果が「論理的に」同じであればいい。

インデックスへ戻る


Last Update: 2013-03-15 19:03:37