GHC 7.10.xの移行：なぜApplicativeインスタンスに "pure = return"と書くことができませんか？

Question

私はGHC 7.10.x Migrationについての記事を読んでいました。エラーを修正するためのいくつかの提案があります。

GHCその

Foo.hs訴える場合GHCはNo instance for (Applicative ...)

を言う：7：10：インスタンス宣言は、インスタンス宣言 のスーパークラスから生じる（ApplicativeのFooの）ため なしインスタンス'Monad Foo'の場合、このエラーを簡単に解決するには、Applicative（とFunctor）を定義することです： fmap = liftM - または代わりに -fマップ= m >> =純粋。

instance Applicative Foo where 
    -- NB: DO NOT USE `pure = return` 
    pure = {- move the definition of `return` from the `Monad` instance here -} 

    (<*>) = ap {- defined in Control.Monad -} 
    -- or alternatively: 
    -- f1 <*> f2 = f1 >>= \v1 -> f2 >>= (pure . v1) 

    -- NB: DO NOT USE `(*>) = (>>)` 
    (*>) = {- move the definition of `>>` from the `Monad` instance here -} 

instance Monad Foo where 
    return = pure {- definition moved to `Applicative(pure)` -} 

    (>>) = (*>) {- definition moved to `Applicative((*>))` -} 

    {- ...retain other previous definitions... -} 

fはNBSがあります。DO NOT USE `pure = return`とDO NOT USE `(*>) = (>>)。なぜそれを使うことができないのですか？

P.S.私はそれを使用しようとし、コンパイルされています。

Answer 1

@WillSewellは型クラスMonadでreturn今base-4.8.0.0からは、デフォルトの実装を持ち、コメントで示唆したよう：pure = returnを定義することにより

class Applicative m => Monad m where 
    return  :: a -> m a 
    return  = pure 

とreturnを実装することを忘れ手動1は、定義されの無限ループを作成することができますコンパイルをパスし、実行時にしか検出できません。

---

>>は今は別の話です。それは>>=だけにデフォルトの実装リレーがあります。

(>>) :: forall a b. m a -> m b -> m b 
m >> k = m >>= \_ -> k 

、あなたが>>=の定義に*>を使用しない限り*> = >>によってあなたが無限ループを作成しませんが、しかしbaseで可能な次の大きな変化についてsome concernがあります（これにより>>のデフォルト実装が>> = *>に変更される可能性があります）。*> = >>は、互換性のために推奨されていません。