Embed Notice

R7RS small went the other way, cleaning up SRFI 9 (although not quite enough), providing nothing but flat records with a fixed field structure, with none of the R6RS features – no procedural layer, no inspection, not even subtyping support!

Despite this, the R7RS small way has a surprising amount to recommend it. In particular, because it provides basically nothing apart from a disjoint type predicate and some slots, you *can* actually implement a more featureful type system on top of it.