Changes between Version 14 and Version 15 of Status/Nov07


Ignore:
Timestamp:
Dec 10, 2007 8:55:27 AM (8 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/Nov07

    v14 v15  
    2222== Syntactic and front-end enhancements ==
    2323
    24 Several people have developed superficial but perhaps-very-useful
    25 syntactic innovations, which are (or will shortly be) in the HEAD:
    26 
    27  * Three improvements to records[[BR]][[BR]]
    28    * '''Wild-card patterns for records'''.  If you have
     24Several people have developed syntactic innovations, which are (or will shortly be) in the HEAD:
     25
     26 * '''Three improvements to records'''[[BR]][[BR]]
     27   * ''Wild-card patterns for records''.  If you have
    2928{{{
    3029        data T = MkT {x,y::Int, z::Bool}
     
    4342    record; while in a record construction it uses variables with
    4443    those names to initialise the record fields. Here's the [http://www.haskell.org/ghc/dist/current/docs/users_guide/syntax-extns.html#record-wildcards user manual entry][[BR]][[BR]]
    45    * '''Record puns''' is a slightly less abbreviated approach. You can write 'f' like this:
     44   * ''Record puns'' is a slightly less abbreviated approach. You can write 'f' like this:
    4645{{{
    4746        f (MkT {x,y}) = x+y
     
    4948    whereas Haskell 98 requires you to write "x=x,y=y" in the pattern. Similarly
    5049    in record construction.[[BR]][[BR]]
    51    * '''Record field disambiguation''' is useful when there are several types in
     50   * ''Record field disambiguation'' is useful when there are several types in
    5251    scope, all with the same field name.  For example, suppose another data type S
    5352    had an 'x' field. Then if you write
     
    158157
    159158 * Michael Adams came for an internship and built a CPS converter
    160   for GHC's internal C-- data type.  He had barely left when Norman
    161   Ramsey arrived for a short sabbatical.  Based on his experience of
    162   building back ends for the Quick C-- compiler, he worked on a new
    163   zipper-based data structure to represent C-- code, and a sophisticated
    164   dataflow framework so that you can write new dataflow analyses in
    165   30 mins. 
     159  for GHC's internal C-- data type. 
     160
     161 * He had barely left when Norman Ramsey arrived for a short sabbatical.  Based on his experience of building back ends for the Quick C-- compiler, he worked on a new zipper-based data structure to represent C-- code, and a sophisticated dataflow framework so that you can write new dataflow analyses in 30 mins. 
    166162
    167163 * Ben Lippmeir spent his internship building a graph-colouring,