Changes between Version 16 and Version 17 of Status/Oct13


Ignore:
Timestamp:
Oct 18, 2013 3:41:31 PM (6 months ago)
Author:
heisenbug
Comment:

typo

Legend:

Unmodified
Added
Removed
Modified
  • Status/Oct13

    v16 v17  
    2828 * **New Template Haskell** - Geoffrey Mainland implemented support for New Template Haskell, fixing a lot of long-standing bugs with the TH implementation, while making it significantly more expressive, including support for typed quotes, pattern splices and more. This allows us to write for example a typed, staged power function. For details and examples, you can see Geoff's blog [NewTH1] and the GHC wiki pages describing the design [NewTH2]. 
    2929 
    30  * **Newtype coercions**.  Joachim Brietner spent time earlier this year implementing a new, fancy **Coercible** design in GHC, which helps eliminate the cases in which newtypes are 'not free'. This occurs for example, when we say something like `newtype Age = MkAge Int` and then `map MkAge [0..10]` - while `newtype` is supposed to be free, this particular example has a runtime cost! 
     30 * **Newtype coercions**.  Joachim Breitner spent time earlier this year implementing a new, fancy **Coercible** design in GHC, which helps eliminate the cases in which newtypes are 'not free'. This occurs for example, when we say something like `newtype Age = MkAge Int` and then `map MkAge [0..10]` - while `newtype` is supposed to be free, this particular example has a runtime cost! 
    3131 While Coercible is still in flux [NTC], we hope it will be useful as a 'preview technology' in the 7.8 release. 
    3232