Changes between Version 22 and Version 23 of Status/Oct13


Ignore:
Timestamp:
Oct 18, 2013 3:57:33 PM (17 months ago)
Author:
heisenbug
Comment:

add accents

Legend:

Unmodified
Added
Removed
Modified
  • Status/Oct13

    v22 v23  
    7878 * **Overloaded record fields ** - Adam Gundry implemented the overloaded records field proposal as part of the Haskell.org 2013 GSoC. This work will make it possible to not only have overloaded record field names, but also enable a wealth of other nice features, like polymorphic update/lookup, and automatically turning record fields into lens. More detail can be found on the GHC wiki [ORF]. 
    7979 
    80  * **Pattern synonyms** - Gergo Erdi worked on an implementation of pattern synonyms for GHC, which will finally give us the power to abstract over patterns and give them names. While the design is not final (see the wiki for details[PS]), the results look promising, and hopefully fix a long-standing 'abstraction hole' in the term language for Haskell. 
     80 * **Pattern synonyms** - Gergö Érdi worked on an implementation of pattern synonyms for GHC, which will finally give us the power to abstract over patterns and give them names. While the design is not final (see the wiki for details[PS]), the results look promising, and hopefully fix a long-standing 'abstraction hole' in the term language for Haskell. 
    8181 
    8282 * **Explicit Type Application** - Stephanie Weirich, Richard Eisenburg 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].