Changes between Version 3 and Version 4 of Status/May14


Ignore:
Timestamp:
Apr 28, 2014 11:12:26 AM (12 months ago)
Author:
thoughtpolice
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/May14

    v3 v4  
    1818 
    1919 * **Explicit type application** - Stephanie Weirich, Richard Eisenberg and Hamidhasan Ahmed have been working on adding explicit type applications to GHC. This allows the programmer to specify the types that should be instantiated for arguments to a function application, where normally they would be inferred. While this capability already exists in GHC's internal language, System FC -- indeed, every FC-pro program has function application with explicitly applied types -- it has not been available in Haskell itself. While a lot of the syntax and design is not quite final, there are some details about the design available on the wiki [TA]. 
     20 
     21 * **Kind equality and kind coercions** - TODO Richard 
    2022 
    2123== Back-end and runtime system ==