Changes between Version 7 and Version 8 of Status/Oct11


Ignore:
Timestamp:
Oct 22, 2011 9:08:39 PM (4 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?'''