バインド型の変数

Question

のは、私はそれが何をするかを理解しようとする単純な例としてfmap . constを見てみましょう：私は気づく拳の事は、私が理解しようとするとa、bがあいまいであるということです

fmap :: Functor f => (a -> b) -> f a -> f b 
const :: a -> b -> a 

fmap . const。 2つ以上の関連する署名を一緒に使用すると、「GHCIセッション」という意味になります。

fmap :: Functor f => (a -> b) -> f a -> f b 
const :: c -> d -> c 
fmap . const :: Functor g => h -> g i -> g h 

レッツ・バインドg = fとgが削減：

fmap . const :: Functor f => h -> f i -> f h 

好い加減なバージョンのための最小混乱変数名としてh :: hを選んでここ

は私がより良いものを理解する助けとなるかの例です：

\h -> fmap (const h) :: Functor f => h -> f i -> f h 

h = cを結合してhを減らす：

\c -> fmap (const c) :: Functor f => c -> f i -> f c 

さて、f cでcがconstに最初の引数から来たことを確認する方がはるかに簡単です。私はまた、iとaが自由であることを知っています。私はそれらを「操作」する必要がなかったからです。

質問：

• GHCIセッションで再使用されている文字を防止する方法はありますか？
• GHCIセッションでタイプ変数をバインドして減らす方法はありますか？
• 最後に、同等の思考プロセスを実行するより簡単な方法があると思われます。

Answer 1

シグネチャの型変数は、暗黙のユニバーサル量限定子によって実際にバインドされます。言語拡張は、これがコンパイルされることを確認し、それが明示的に作ることがあります：

{-# LANGUAGE ExplicitForAll #-} 

fmapPrime :: forall a b f. Functor f => (a -> b) -> f a -> f b 
fmapPrime = fmap 

constPrime :: forall a b. a -> b -> a 
constPrime = const 

fmapConst :: forall a b f. Functor f => b -> f a -> f b 
fmapConst = fmap . const 

ですから、型変数変数は、「再利用」していると言うことはできません：彼らは無料ではありません。