Changes between Version 21 and Version 22 of KindSystem

Show
Ignore:
Timestamp:
10/17/08 07:46:01 (5 years ago)
Author:
TristanAllwood
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • KindSystem

    v21 v22  
    169169=== Kind Namespace === 
    170170 
    171 Also see: TypeNaming 
     171Also see: Design/TypeNaming 
    172172 
    173173Strictly, the new kinds that have been introduced using {{{data kind}}} syntax inhabit a new namespace.  Mostly it is unambiguous when you refer to a type and when you refer to a kind.  However there are some corner cases, particularly in module import/export lists. 
    … …  
    193193== Auto Promotion of Types to Kinds == 
    194194 
    195 Many simple data declarations it would be convinient to also have at the type level.  Assuming we resolve TypeNaming and some ambiguity issues, we could support automatically deriving the data kind based on the data. 
     195Many simple data declarations it would be convinient to also have at the type level.  Assuming we resolve Design/TypeNaming and some ambiguity issues, we could support automatically deriving the data kind based on the data. 
    196196 
    197197There are some other issues to be wary of (care of Simon PJ):