Changes between Version 49 and Version 50 of WikiStart

Show
Ignore:
Timestamp:
06/11/10 02:36:40 (5 years ago)
Author:
benl (IP: 129.94.242.38)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v49 v50  
    99This section records what the DDC developers are actively working on. If you're hacking on something DDC related then by all means add yourself here. Records are dropped off if they haven't been updated for more than a month. 
    1010 
    11 ==== Ben (benl23) -- updated 10th May 2010  ==== 
    12  * I'm working on reducing the number of constructors in Type.Exp.Exp. We want to use general type application instead of a different constructor for function, data, effect and closure types. Doing this will make code that works on types simpler, and hopefully kill some outstanding bugs on the way. 
    13  * At the time of writing I'm in the process of killing the TEffect constructor. Doing this requires refactoring how the effect simplifier in the inferencer works. ie in Type.Crush.Effects. 
     11==== Ben (benl23) -- updated 11th Jone 2010  ==== 
     12 * I'm cleaning up the core language and rewriting the type checker. We currently have Core.Reconstruct that reconstructs some type annotations as well as checks the type information, but we want to split this into two separate phases. We only have to do the real reconstruction during conversion between the desugared and core language, but we want to run the checker after every stage (during debugging). 
    1413 
    1514==== Erik de Castro Lopo (m3ga) -- updated 25th May 2010  ====