ランク3種類は、私はこのランク3種類の関数定義を持っている例

Question

機能します。手伝ってくれますか？コメント欄で述べたように、より興味深いものにするために型を変更

Answer 1

f3 :: ((forall a. a -> a) -> Int) -> Bool -> Bool 
f3 f b = (f id == 3) && b 

f3_ex :: Bool 
f3_ex = f3 f True where 
    f :: (forall a. a -> a) -> Int 
    f g = g 3 

：

f4 :: ((forall a. a -> a -> a) -> Int) -> Bool -> Bool 
f4 f b = (f const == 3) && b 

f4_ex :: Bool 
f4_ex = f4 f True where 
    f :: (forall a. a -> a -> a) -> Int 
    f g = g 3 5 


f5 :: ((forall a. a -> a -> a) -> Int) -> Bool -> Bool 
f5 f b = f (if b then const else const id) == 42 

f5_ex :: Bool 
f5_ex = f5 f True where 
    f :: (forall a. a -> a -> a) -> Int 
    f g = g 3 5 + 39 

ここfは、タイプ(Int, Int)本質的f constによって与えられる第1成分とf (const id)又はによって与えられる他のものです同等にf (flip const)。