Skip to content
scrambled
Programming Language Theory Flashcard

Why is there a need for syntactic sugar?

Books Concepts Decklanguage theory

Question

Why is there a need for syntactic sugar?

Answer

  • The core calculus can be minimal, so that proofs about them can be easily derived and the compiler implementation can be kept simple.

  • The surface syntax can be more ergonomic for users & proofs about the surface language can be easily derived from the core calculus.