Описание тега combinatory-logic
Combinatory logic is a model of computation equivalent to the lambda calculus, but without abstraction.
Combinatory logic is a model of computation equivalent to the lambda calculus, but without abstraction.
It was introduced by Moses Schönfinkel and Haskell Curry, and has more recently been used in computer-science as a theoretical model of computation and also as a basis for the design of functional-programming languages. It is based on combinators, which are higher-order-functions that use only function application and earlier defined combinators to define a result from its arguments.