Static&dynamic reduction

Moderator: Konzepte der Programmiersprachen

jkapitzke
Neuling
Neuling
Beiträge: 8
Registriert: 21. Sep 2016 23:54

Static&dynamic reduction

Beitrag von jkapitzke » 2. Nov 2019 21:21

Hi,
in slide 1.27 eager substitution is "static and dynamic reduction" and lazy substitution is only "static reduction". What do the reduction terms mean? I suppose static means something with compile time, and dynamic something during run time?

Thank you :)

Zurück zu „Konzepte der Programmiersprachen“