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..!
<strong>Lets explain him what it actually means.</strong>
<em>It is nothing but a bridge between a Funcional Language Program and its corresponding Low Level Program</em>
Functional Language Program (1,0)100 Low Level Program
<em>Sayoni has come up with a nice question</em>.
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 ?
<li> <em>It is very simple .</em> It has very few constructs and very easy semantics, so gettig from <strong>Lamda Calculus</strong> to <strong>Low Level Object Code</strong> is very easy </li>
<li> <em>Powerful enough to express any type of computation.</em> Theoritically, we have Lamda calculus equivalent to Turing Model
\( Turing Model \approx Lamda Calculus\)
<code>Turing Model</code>:Major model of computation in Computer Science.
Thus all that we can do through a computer can be done through <em>Lamda Calculus</em>
Applied Lamda Calculus
We have discussed about so far.But it was lacking some features, so we switch over to , which filled all the holes present in the raw form of Lamda Calculus. Some of these features are discussed below
<li> <em>Inbuilt Functions</em>: Basic Functions like +, -, *,|, were not present in the raw form. </li>
<li> <em>Conditional Operators</em>: IF then ELSE construct was not present in the raw form of Lamda Calculus. </li>
When he goes—“Hello World!”
She replies—“Hello dear!”
Questo è strano assai!
Old style: 1234567
Vivek Ruparel · Created · Last updated over 2 years ago ·