Changes between Version 9 and Version 10 of Status/Oct12
- Oct 31, 2012 10:28:06 AM (2 years ago)
v9 v10 16 16 programming" , "Dependently Typed Programming with Singletons" ). Leading up to the GHC 7.6 release 17 17 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. 20 21 21 22 * '''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 .