どのようなバインド演算子が使用されますか？この例では

Question

ルック：

ReaderT Integer (ErrorT String (StateT Integer Identity)) Integer 

何オペレータバインド(>>=)は、ここで使用されるのですか？
たとえば、doの表記を使用すると、コンパイラはどのバインド演算子を選択しますか？参考

Answer 1

、(>>=)タイプに

(>>=) :: Monad m => m a -> (a -> m b) -> m b 

を有し、また（機能アプリケーションのような）タイプのアプリケーションが残っているため

ReaderT Integer (ErrorT String (StateT Integer Identity)) Integer 

が

(ReaderT Integer (ErrorT String (StateT Integer Identity))) Integer 

と同じであることに注意してくださいハスケルの連想。

ので、適切な型と

x :: ReaderT Integer (ErrorT String (StateT Integer Identity)) Integer 

とf与え、表現

x >>= f 

に型チェッカーは(>>=)の左側の引数の型とxのタイプに一致するようにしようとします。つまり、ReaderT Integer (ErrorT String (StateT Integer Identity)) Integerとm aを統合しようとします。これが一元化する唯一の方法は、をIntegerとし、mをReaderT Integer (ErrorT String (StateT Integer Identity))とすることです。だから、~型平等表記を使用して、我々はその結果

m ~ (ReaderT Integer (ErrorT String (StateT Integer Identity))) 
a ~ Integer 

で終わる、それはMonad、r ~ Integerとn ~ ErrorT String (StateT Integer Identity)の(ReaderT r n)インスタンスを使用する必要があります。

これは、一般的には、(>>=)の場合だけでなく、Haskellでの型統一の結果です。したがって、この一般的な考え方は、他の多態関数の型チェックがどのように機能するかを解釈するために使用できます。