Seite 1 von 1

Lambda: Multiple Applications

Verfasst: 1. Mär 2019 10:18
von luxic
Hi,

Imagine the following (rather bad) lambda example:
\((\lambda x.x) (y) (z)\)

Now, do I apply from left-to-right, i.e. first y, or from right-to-left, i.e. first z?

Thanks!

Re: Lambda: Multiple Applications

Verfasst: 1. Mär 2019 14:26
von mirko-koehler
Function application is left-associative, i.e. \((\lambda x.x) \ y \ z = ((\lambda x.x) \ y) \ z \). You apply y first.

Re: Lambda: Multiple Applications

Verfasst: 2. Mär 2019 14:59
von luxic
Alright, thank you!