Syntactic closure

In computer science, syntactic closures are an implementation strategy for a hygienic macro system. The term pertains to the Scheme programming language.[1]

When a syntactic closure is used the arguments to a macro call are enclosed in the current environment, such that they cannot inadvertently reference bindings introduced by the macro itself.

References

  1. ^ Hanson, Chris (November 9, 1991). "A Syntactic Closures Macro Facility". CSAIL. MIT. Retrieved February 24, 2021.
  • Syntactic exposures - A Lexically-Scoped Macro Facility for Extensible Compilers
  • syntactic closures at Schemewiki


  • v
  • t
  • e
Γ ⊢ {\displaystyle \Gamma \!\vdash }

This programming language theory or type theory-related article is a stub. You can help Wikipedia by expanding it.

  • v
  • t
  • e