結果をMonadにバインドする必要がありますか？

instance Monad Maybe where 
    return x = Just x 
    Nothing >>= f = Nothing 
    Just x >>= f = f x 
    fail _ = Nothing

の例です。結果はモナドではないでしょうか？私はその行を期待しています

Just x >>= f = Just (f x)

2017-02-10 cammil

ヒント： 'f'の種類は何ですか？ – duplode

@ duplodeのヒントに追加するには、 '> ='があなたの提案通りに実装されていれば、 'flip fmap'と変わりありません。実際、これは '' = 'と' 'fmap'の間のパワーの違いです。 –

つまり、 'f'はすでに' Maybe b'の値、すなわち 'Just（y :: b）'または 'Nothing'を作成しています。そうでない場合、コードは型チェックを行いません。 –

はい！あなたはモナドであることが正しいですが、>>=演算子のタイプを覚えておいてください：m a -> (a -> m b) -> m b。次にfはa -> m bの型を持っていると推測されますので、fをxに適用すると、結果としてモナドが返されます。

2017-02-10 23:25:30 Hackerman

ようこそStackOverflowへ！ – Alec

答えて