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