/ 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 Netkachov is a Senior Software Developer, currently working in Central London on new generation of energy trading solutions for brokers, traders and exchanges.

Read More

Why not to stay updated if the subject is interesting? Join Telegram channel Alex@Net or follow alex_at_net on Twitter. Or just, use the comments form below.