Changes between Version 5 and Version 6 of KindSystem

Timestamp:

10/16/08 08:20:19 (5 years ago)

Author:

TristanAllwood

Comment:

newkind comment

KindSystem

@@ -370 +370 @@
 Simple 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}}}.
 
+{{{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.
+
 == Unfiltered thoughts ==