Paradigm: Tacit

Tacit programming (also referred to as point-free programming) is a programming paradigm in which a function definition does not include explicit information about its arguments. Instead a function is defined via other functions using combinators and function composition (but not λ-abstraction).

This paradigm is typical for function-level languages which avoid the concept of variable itself. One could also say that stack-based languages follow this paradigm, since in them the functions are defined in terms of stack manipulations instead of variables manipulations.

Programming languages that support this paradigm: