RE: [Sml-implementers] Structure sharing and type abbreviations

[Stephen W. <sw...@in...>]

> The official definition of structure sharing is useless; 

This is an overstatement, although I would agree that the effect of the
definition is to strongly encourage a programming style in which type
definitions do not appear in signatures.  For example, I count 97 uses of
structure sharing in MLton, which is written using this style.  I don't find
completely avoiding type definitions in signatures very restrictive.