Changes between Version 9 and Version 10 of Status/Oct12


Ignore:
Timestamp:
Oct 31, 2012 10:28:06 AM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/Oct12

    v9 v10  
    1616 programming" [8], "Dependently Typed Programming with Singletons" [9]).  Leading up to the GHC 7.6 release 
    1717 Simon PJ has been working hard on making kind polymorphism work 
    18  properly, which was a lot more work than he anticipated. Plenty 
    19  more to do: see below. 
     18 properly, which was a lot more work than he anticipated.  
     19 
     20 There is plenty more to do here, such as exploiting kind polymorphism to make a better `Typeable` class. 
    2021 
    2122 * '''Type holes'''. Thijs Alkemade and Sean Leather have been working on another variant of deferred error messages, that would allow you to write a program that contains as-yet-unwritten sub-terms, or "holes" and have GHC report a fairly precise type for the hole. The HEAD now has an initial implementation (`-XTypeHoles`), and there are ongoing discussions about how to make it better still.  Details on their wiki page [10].