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,