GHCIはいつ必要なコンテキストを推測しませんか？

Question

なぜGHCiのは、ここで必要なコンテキストの制約を追加ん：

> let f = fmap show 

> :t f 
f :: (Functor f, Show a) => f a -> f String 

しかし、ここにいませんの？

> :t over 
over :: Lens s t a b -> (a -> b) -> s -> t 

> :t _all' 
_all' :: (Applicative f, Eq a) => a -> (a -> f a) -> [a] -> f [a] 

> :t over (_all' 2) 

<interactive>:1:7: error: 
    • Could not deduce (Applicative f) arising from a use of ‘_all'’ 

これら2つのケースに大きな違いはありますか？

Answer 1

レンズライブラリで定義されたoverのタイプではありません。それは言われて、あなたのバージョンでは動作しませんLensは、言い換えれば

type Lens = forall f. Functor f => (a -> f b) -> s -> f t 

と

_all' 2 :: forall f. Applicative f => .. 

あるので、overはどのFunctorのために働く機能を要求されていますが、どれを提供してきましたApplicative（Functorにはより強い制約であり、Applicativeを意味しません）の場合にのみ機能します。

コメント@ user2407038。

コメントに示されているように、タイプシグネチャをoverに固定することで問題を解決できます。それは、どちらかのアイデンティティのタイプはファンクタと応用的の両方であるためlensで複雑な派手なものは分配ファンクタまたは単純

type Setter s t a b = (a -> Identity b) -> s -> Identity t 
over :: Setter s t a b -> (a -> b) -> s -> t 

を使用する必要があり、それはレンズを一元管理とトラバーサル（私はあなたのケースで想定します）。