Changes between Version 4 and Version 5 of KindSystem


Ignore:
Timestamp:
Oct 16, 2008 3:18:22 PM (7 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