機能的プログラミングにおけるシーケンスの理解

Question

私はほとんど実用的な人ですが、私はこのことが面白いと思います。

私はモナディックシーケンシングについて考えていましたが、私は明確にする必要があるものがいくつかあります。 だからここ を愚かな響きの危険にさらされて、それは次のとおりです。

モナドメンバーバインド

bind :: m b -> (b -> m c) -> m c

はあなたの中間値への明示的なアクセスを与える「アクション」を順序付けることができます。

これは私にカテゴリメンバー(.)より与えない方法：これにより

(.) :: cat b c -> cat a b -> cat a c

を私は順序と中間値へのアクセスを得ることができます。 すべての後に(f . g) x = f(g (x))。

(.)と順序付けることができる場合、なぜシーケンシングにはbindが必要ですか？

Answer 1

あなたは正しい道を歩いています。すべてのモナドは、いわゆるKleisli categoryを発生させます。すべてのモナドmそれに対応するクライスリ圏は矢印a -> m bを持っており、彼らは

f >=> g  = \x -> f x >>= g 

Kleisli型はHaskellの型システムでこれをカプセル化するように定義されて>=>を、使用して構成することができるために、あなたはそれがインスタンス

instance Monad m => Category (Kleisli m) where 
    id = Kleisli return 
    (Kleisli f) . (Kleisli g) = Kleisli (g >=> f) 

を持っていることがわかります

したがって、このカテゴリ内のシーケンシング計算は、>=>を使用するシーケンシング操作です。これは、>>=を使用して同等に表現できます。

returnと>>=を使用してモナドを定義する方が便利なので、returnと>=>を使用して定義することもできます。

（またmy answerDifferent ways to see a monadにを参照）。