Programming Language Theory Flashcard
What are the possible evaluation strategies for lambda calculus?
Books
Deckpure-lambda-calculus
Question
What are the possible evaluation strategies for lambda calculus?
Answer
Full beta-reduction.
Any redexes can be reduced.
Normal order.
Only the left-most outermost redex can be reduced.
Call by name.
Normal order but nested redex inside labda abstractions cannot be reduced.
Call by need.
Call by name but with caching to avoid recomputation.
Call by value.
Redexes can only be reduced if their argument is a value.