Skip to main content

curry

· One min read

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]