Nanopass framework

Nanopass is a novel Scheme library for developing a compiler as a series of tiny passes between many intermediate languages. Nanopass is popular in compiler education, but is also used in serious implementations — most notably, Chez Scheme.[cite:@cisco/ChezScheme]

Inbox

• a language is a set of ADTs.

What does Nanopass offer, exactly?

Nanopass gives you surprisingly little! Given its power, you'd be surprised to learn that Nanopass implements little more than

• a loose notion of ADTs,

• ADTs defined in terms of additions/removals upon other ADTs,

• catamorphisms,

• and pattern-matching.