Changes between Version 2 and Version 3 of Status/Oct13


Ignore:
Timestamp:
Oct 7, 2013 7:26:23 AM (7 months ago)
Author:
thoughtpolice
Comment:

Minor amendments, and thanks.

Legend:

Unmodified
Added
Removed
Modified
  • Status/Oct13

    v2 v3  
    7575 * **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]. 
    7676 
    77  * **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 will finally fix a long-standing 'abstraction hole' in the term language for Haskell. 
     77 * **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. 
    7878 
    7979 * **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 FC-pro (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]. 
    8080 
    8181But we're not sure what else might happen. It's a great time to step up to the plate and do something fun! 
     82 
     83= Development updates, joining in and a big Thank You! = 
     84 
     85In the past several months, GHC has seen a surge of community involvement, and a great deal of new contributors. We now have [wiki:TeamGHC 37 committers], with '''14 added in 2013 alone''' - it's an exciting time to work GHC! 
     86 
     87Amongst those who have rolled up their sleeves and helped us recently: 
     88 
     89 * Herbert Valerio Riedel 
     90 * Takano Akio 
     91 * Reid Barton 
     92 * Kazu Yamamoto 
     93 * Joachim Breitner 
     94 * Carter Schonwald 
     95 * Krzysztof Gogolewski 
     96 * Jan Stolarek 
     97 
     98As ever, there is a ton of stuff in the future for us to do. Don't wait - it might take a while. You should join us instead! 
    8299 
    83100= References =