Changes between Version 4 and Version 5 of KindSystem

Timestamp:

10/16/08 08:18:22 (5 years ago)

Author:

TristanAllwood

Comment:

Kind synonyms

KindSystem

@@ -229 +229 @@
 
 
+
 == Implementation things ==
 
@@ -365 +366 @@
 
 
+== Kind Synonyms ==
+
+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}}}.
+
 == Unfiltered thoughts ==