Changes between Version 2 and Version 3 of KindSystem


Ignore:
Timestamp:
Oct 16, 2008 1:07:32 PM (7 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