Changes between Version 2 and Version 3 of KindSystem


Ignore:
Timestamp:
Oct 16, 2008 1:07:32 PM (6 years ago)
Author:
guest
Comment:

typos

Legend:

Unmodified
Added
Removed
Modified
  • KindSystem

    v2 v3  
    183183== A detour of Sorts == 
    184184 
    185 GHC currently allowtype hackery is the ability to specify simple kind signatures.  By allowing declaration of other kinds, and parameterisation of kinds, we will require kinds to have sorts.  Initially we want to push everything up one layer, so our language of sorts is generated by the sort that classifies kinds {{{*}}}, or functions {{{sort -> sort}}}. 
     185GHC currently allows users to specify simple kind signatures.  By allowing declaration of other kinds, and parameterisation of kinds, we will require kinds to have sorts.  Initially we may want to push everything up one layer, so our language of sorts is generated by the sort that classifies kinds {{{*}}}, or functions {{{sort -> sort}}}. 
    186186 
    187187This means we could allow explicit sort-signatures on kind arguments, e.g.: 
     
    214214}}} 
    215215 
     216Again, note that {{{Maybe}}} above is decorated with a {{{sort}}} signature. 
     217 
    216218or 
    217219 
     
    313315TODO 
    314316 
    315  
    316317== Unfiltered thoughts == 
    317318