单而普遍的语义。David Turner使用它的组合子实现了SASL编程语言。Kenneth E. Iverson在他的J编程语言中使用了基于Curry的组合子的原语（primitive），J语言是APL语言的后继者。这使得Iverson达成了隐式编程，就是说，编程采用不包含变量的函数表达式，并一起使用与这种程序共同工作的强力工具。结果是在任何带有用户定义算子的类APL语言中隐式编程都是可能的。
逻辑.Curry-Howard同构蕴涵了在逻辑和编程之间的联系：每个直觉逻辑的