What is Lambda Calculus ?
Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic and computer science for expressing computation based on function abstraction and application using variable binding and substitution.It was first formulated by Sir Alonzo Church to formalize the concept of effective computability.
Anurag seems confused..!
Lets explain him what it actually means.
It is nothing but a bridge between a Funcional Language Program and its corresponding Low Level Program
Functional Language Program (1,0)100 Low Level Program
Sayoni has come up with a nice question.
Why we need this bridge ?
Now ,suppose we fix the latter half of the bridge i.e. //
Lamda Calculus (1,0)100 Low Level Program
If any new Functional Language comes up in the future, it can be easily integrated with the latter half of the bridge . Thus making our life a whole lot easier when dealing with a new Function Language.
Why only Lamda Calculus as this bridge ?
Vivek Ruparel · Created · Last updated over 2 years ago ·