[Home] [By Thread] [By Date] [Recent Entries]


"Aaron Skonnard" <aarons@d...> wrote:

| The fundamental problem is that we need to agree on a type system. 

Yes, "needing" to agree on a type system is the fundamental problem.  The
solution, of course, is to abandon the idea of a One True Type System For
All And Forever.

We could have a scalable system for *naming* of types, of a sort suitable
for notation declarations.  It would then suffice to declare the notations
(in an annotative sense) and leave it to systems to determine whether they
recognize them and/or choose to process them appropriately.

Oops!  Done already!  NIH!  Can't have that, oh no!

Sigh.  

Site Map | Privacy Policy | Terms of Use | Trademarks
Free Stylus Studio XML Training:
W3C Member