haskell 有个高阶函数curry
我们可以通过:t identify来确定标识符的类型
我们使用haskell的cli看看
Prelude> :t curry
curry :: ((a, b) -> c) -> a -> b -> c这是什么意思呢? 我还没用懂
Lectures on Curry-Howard isomorphism[Sørensen & Urzyczyn 2006]Derivation and computation[Simmons 2000]Proofs and types[Girard, Lafont, Taylor 1996]