Changes between Version 4 and Version 5 of KindSystem


Ignore:
Timestamp:
Oct 16, 2008 3:18:22 PM (6 years ago)
Author:
TristanAllwood
Comment:

Kind synonyms

Legend:

Unmodified
Added
Removed
Modified
  • KindSystem

    v4 v5  
    229229 
    230230 
     231 
    231232== Implementation things == 
    232233 
     
    365366 
    366367 
     368== Kind Synonyms == 
     369 
     370Simple type synonyms have a natural analogy at the kind level that could be a useful feature to provde.  Depending on whether we keep the kind and type namespaces separate (above) we could just abuse the current {{{type Foo = Either Baz Bang}}} syntax to also allow creating {{{kind synonyms}}}, or if we need to invent some new syntax.  {{{kind Foo = Either Baz Bang}}} would seen natural, or perhaps more safely {{{type kind Foo = Either Baz Bang}}}. 
     371 
    367372== Unfiltered thoughts == 
    368373