Skip to content

Programming Language Theory

← Back to Domain-Specific Abstractions by Domain

3 domain-specific abstractions whose origin domain is Programming Language Theory.

  • Director string — A lambda-calculus implementation annotation that records which subterms contain each bound variable, allowing reduction and substitution to avoid traversing branches where that variable is absent.
  • Parametricity — The uniformity principle that a parametrically polymorphic program must behave relationally the same at every type instantiation because it cannot inspect the abstract type.
  • Pattern calculus — Make pattern matching the primitive computational interaction, allowing patterns and pattern abstractions to be constructed, passed, returned, and applied to decompose both functions and data structures.