Lambda Calculus

What Does Lambda Calculus Mean?

Lambda calculus is a type of formal system from mathematical logic used in computer science for function definition, application and recursion.


Functional computer programming arose out of this type of calculus, and acts in turn as a model for software development via providing simple semantics for computation with functions. Unlike with imperative functions, which can change program status because they don’t have referential transparency, functional programming doesn’t change program status.

Techopedia Explains Lambda Calculus

Lambda calculus makes language code threads result in exactly the same values, regardless of the time or machine the code thread was run on. This is not the case with imperative function programming, which typically has unpredictable program responses.

Functional programming can be realized in any programming language, even those that were not designed with default functional programming structures.


Related Terms

Latest Analytics Terms

Related Reading

Margaret Rouse

Margaret Rouse is an award-winning technical writer and teacher known for her ability to explain complex technical subjects to a non-technical, business audience. Over the past twenty years her explanations have appeared on TechTarget websites and she's been cited as an authority in articles by the New York Times, Time Magazine, USA Today, ZDNet, PC Magazine and Discovery Magazine.Margaret's idea of a fun day is helping IT and business professionals learn to speak each other’s highly specialized languages. If you have a suggestion for a new definition or how to improve a technical explanation, please email Margaret or contact her…