Explicit (and implicit) renaming macros in Chicken

https://wiki.call-cc.org/explicit-renaming-macros

by zephyrfalcon • 10 years ago

31 5 10 years ago

Ericson23143• 10 years ago

The end result is what everyone should agree on, but I prefer to view hygiene as name resolution lexically on the quoted syntax.

Then renaming is just one possible implementation. Pointer graphs are another—but that's just malloc playing the role of gensym. The coolest of all would be something along the lines of DeBruijn indexes: determinism and normal forms ftw!

ruricolist• 10 years ago

Gasbichler's implementation of hygiene (in "Fully parameterized, first-class modules with hygienic macros") actually uses De Bruijn indexes.

Ericson23143• 10 years ago

Thanks! It isn't everyday that one has a thesis cited to them on HN, unfortunately.

pareidolia• 10 years ago

The name De Bruijn has two words.

Ericson23143• 10 years ago

Sorry. I keep on making this mistake for some reason.

Explicit (and implicit) renaming macros in Chicken

Related Stories