lambdacalculusstyle
adjectiveUK /ˈlæm.də ˈkæl.kjʊ.ləs staɪl/
US /ˈlæm.də ˈkæl.kjə.ləs staɪl/
A way of writing or building things that follows the rules of a special math language for functions.
The programmer wrote the interpreter in a lambdacalculusstyle, using only functions and variables.
OTHER MEANINGS
2. A coding approach that treats computation as the evaluation of mathematical functions.
Her lambdacalculusstyle solution avoided loops entirely.
3. A formal way of describing logic using variables, abstraction, and application.
The paper presented a lambdacalculusstyle proof of the theorem.
4. A minimalist design pattern where everything is expressed as anonymous functions.
The library's lambdacalculusstyle API confused beginners but delighted experts.