Changes between Version 7 and Version 8 of Status/Oct11


Ignore:
Timestamp:
Oct 22, 2011 9:08:39 PM (3 years ago)
Author:
batterseapower
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/Oct11

    v7 v8  
    1717 * '''kind polymorphism''' (is this Dimitrios Vytiniotis?) '''TODO''' '''Is this in already?''' 
    1818 
    19  * '''constraint kind''' Max Bolingbroke has '''TODO''' 
    20    This has already been merged, so will definitely be in 7.4. 
     19 * '''constraint kinds''' Max Bolingbroke has implemented a language extension, ConstraintKinds, which allows the use of more expressive constraints. One thing this can be used for is constraint synonyms: 
     20{{{ 
     21type Stringy a = (Show a, Read a) 
     22f :: Stringy a => a -> a 
     23f = read . show 
     24}}} 
     25   For more information see his [http://blog.omega-prime.co.uk/?p=127 blog post]. This has been merged and will be in 7.4. 
     26 
     27 * '''associated type synonym defaults''' Max Bolingbroke has implemented this, which allow the class defining an associated type to also give a default to be used if the instance doesn't declare its own associated type instances: 
     28{{{ 
     29class C a where 
     30  type T a 
     31  type T a = [a] 
     32}}} 
     33   This has been merged and will be in 7.4. 
    2134 
    2235 * '''profiling and hpc overhaul''' Simon Marlow ... '''TODO''' '''Is this in already?'''