Changes between Version 5 and Version 6 of KindSystem


Ignore:
Timestamp:
Oct 16, 2008 3:20:19 PM (7 years ago)
Author:
TristanAllwood
Comment:

newkind comment

Legend:

Unmodified
Added
Removed
Modified
  • KindSystem

    v5 v6  
    370370Simple 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}}}. 
    371371 
     372{{{newkind}}} doesn't make sense to add as there is no associated semantics to gain at the type level that {{{data kind}}} doesn't already provide. 
     373 
    372374== Unfiltered thoughts == 
    373375