This ‘module system’ is my version of extreme simplicity. Together with the Seal mechanism there provided gives much of the function described by Lillibridge, but at runtime. Much of this function could be done at compile time but not in a language much like Scheme.
I would like to decide if Scheme runtime systems can provide the same function as ‘higher level modules’ do, just as Scheme groks the Y-combinator.
Page 4: it is unclear whether an interface must identify all of the components of a module in order that the module match the interface. A literal interpretation of the words says ‘no’, I think.