如何推断
(我原本认为并且显然是错误的,
(.) . (.)
的类型是 (b -> c) -> (a -> a1 -> b) -> a -> a1 -> c
?(我原本认为并且显然是错误的,
(.)
的类型是 (t2->t3) -> (t1->t2) -> t1 -> t3
,应该与 (t2->t3) -> [(t1->t2) -> (t1->t3)]
相同(也使用 []{}
以便阅读)。因此,(.) . (.)
的类型应该类似于 {(b2->b3) -> [(b1->b2) -> (b1->b3)]} -> {(a2->a3) -> [(a1->a2) -> (a1->a3)]}
,这需要 (b2->b3)
与 [(a1->a2) -> (a1->a3)]
匹配...
但这永远不会导致期望的类型。
哪里出了问题?
t1
应该是t2
。 - Thomas M. DuBuisson