Home > lambdatheultimate > A Theory of Typed Hygienic Macros

A Theory of Typed Hygienic Macros

June 20th, 2010 06:21 admin Leave a comment Go to comments

A Theory of Typed Hygienic Macros, a dissertation by Dave Herman

We present the lambda_m-calculus, a semantics for a language of hygienic macros
with a non-trivial theory. Unlike Scheme, where programs must be macro-expanded
to be analyzed, our semantics admits reasoning about programs
as they appear to programmers. Our contributions include a semantics of
hygienic macro expansion, a formal definition of ?-equivalence that is independent
of expansion, and a proof that expansion preserves ?-equivalence.
The key technical component of our language is a type system similar to
Culpepper and Felleisen’s “shape types,” but with the novel contribution of
binding signature types, which specify the bindings and scope of a macro’s
arguments.

Source: A Theory of Typed Hygienic Macros

Related Articles:

  1. Macros that Work Together
  2. Fortifying Macros
  3. New Theory of Gravity Decouples Space & Time
  4. Facebook releases “Flow”, a statically typed JavaScript variant
  5. Facebook releases “Flow”, a statically typed JavaScript variant
blog comments powered by Disqus
YOYOYOOYOYOYO