Tacit programming

Tacit programming is a style of programming where function definitions compose other functions and combinators manipulate the arguments. A combinator is a higher-order function that uses only function application and pre-defined combinators to define the result from its arguments. For more details, see the Moses Schonfinkel section in Chapter 11, Category Theory That Applies.