Skip to content
scrambled
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.