lambda calculus
-
Lambda Calculus - Recursion
Feb 13In computer science recursion is the act of solving a problem with intermediate results of smaller instances of the same problem. A function used to solve a problem is therefore calling itself within its own definition. This concept is usually supported by most programming languages in addition to the imperative style of programming, which uses control structures such as for and while loops. Some functional programming languages even support recursion as the only method of problem solving. This article is about the definition of recursion in lambda calculus.
Read More…functional programminglambda calculusrecursion -
Lambda Calculus - Boolean Algebra
Feb 8After introducing fundamentals of the lambda calculus in a previous article, along with demonstrations how it can be used for basic arithmetic, the following text has the goal to show how Boolean algebra is expressed in this formal system. Based on the definitions of true and false further basic operations of Boolean algebra can be derived, which then leads to one important aspect in programming: expressing conditionals.
Read More…functional programminglambda calculus -
Fundamentals of Lambda Calculus
Feb 3Lambda calculus is a formal system to study computable functions based on variable binding and substitution. Introduced in the 1930s by Alonzo Church, it is (in its typed form) the fundamental concept of functional programming languages like Haskell and Scala. Although the topic might seem very theoretical, some basic knowledge in lambda calculus can be very helpful to understand these languages, and where they originated from, much better. The goal of this article is to introduce some basic concepts of lambda calculus, which later on can be mapped to real world usage scenarios with functional programming languages.
Read More…functional programminglambda calculus