I've been working hard on re-organizing the S\d\d docs and other lore into a 
specification with an outline suitable for the contents.

But lately I've done some "original work" on what strong typing means and the 
semantics of having types.

So, please take a look at section 10.4 in my document, which is my brainstorm 
on the
Failure type.

Because failure is always an option, how do you preserve strong typing as the 
promise of a
specific interface?  The S02 docs state that it is transformed into the correct 
type, in a
sentence or two.  I expanded that and fleshed it out, and dealt with another 
issue I ran
into, that of incompletely-specified types.

Please take a look.  I posted it at


Reply via email to