/ HackerRank Functional Challenges

HR F#: Lambda Calculus - Evaluating Expressions #1

The next set of problems are about performing calculations with λ-functions.

The first one is to check that the reader is confident with mixing λ-calculus and algebraic operators:

Compute the value of (λx.x + 1) 3

Let's use β-reduction on this expression:

(λx.x + 1) 3 ⇒ 3 + 1 ⇒ 4

Easy.

Alex Netkachov

Alex Netkachov

Alex likes functional programming and algorithms. Apart from programming, his favourites are walking with his family in the parks and national trails and reading about universe and history.

Read More