"Aaron Skonnard" <> 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.
