Lambda: Multiple Applications

Moderator: Konzepte der Programmiersprachen

luxic
Erstie
Erstie
Beiträge: 21
Registriert: 24. Jan 2017 16:09

Lambda: Multiple Applications

Beitrag von luxic » 1. Mär 2019 10:18

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!

mirko-koehler
Moderator
Moderator
Beiträge: 66
Registriert: 16. Okt 2017 12:28

Re: Lambda: Multiple Applications

Beitrag von mirko-koehler » 1. Mär 2019 14:26

Function application is left-associative, i.e. \((\lambda x.x) \ y \ z = ((\lambda x.x) \ y) \ z \). You apply y first.

luxic
Erstie
Erstie
Beiträge: 21
Registriert: 24. Jan 2017 16:09

Re: Lambda: Multiple Applications

Beitrag von luxic » 2. Mär 2019 14:59

Alright, thank you!

Antworten

Zurück zu „Konzepte der Programmiersprachen“