# 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.

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.