Changes between Version 10 and Version 11 of Status/Oct11

Timestamp:

10/27/11 15:17:46 (20 months ago)

Author:

simonpj

Comment:

--

Status/Oct11

@@ -30 +30 @@
    These new kind-system developents are described in "Giving Haskell a promotion" [[http://research.microsoft.com/~simonpj/papers/ext-f/ KindPolymorphism]].  Julien Cretin and Pedro Magalhães have done all the implementation.
 
- * '''Constraint kinds.''' Max Bolingbroke has implemented another extension to GHC's kind system, by adding the kind `Constraint` that classifies type constraints.  This turns out to be a rather neat way to implement all the joy of Tom Schrijver and Dominic Orchard's paper "Haskell type constraints unleashed" [[http://tomschrijvers.blogspot.com/2009/11/haskell-type-constraints-unleashed.html Unleashed]].  For example, you can now say
+ * '''Constraint kinds.''' Max Bolingbroke has implemented another extension to GHC's kind system, by adding the kind `Constraint` that classifies type constraints.  This turns out to be a rather neat way to implement all the joy of Tom Schrijvers and Dominic Orchard's paper "Haskell type constraints unleashed" [[http://tomschrijvers.blogspot.com/2009/11/haskell-type-constraints-unleashed.html Unleashed]].  For example, you can now say
 {{{
 type Stringy a = (Show a, Read a)
@@ -123 +123 @@
  * [Unleashed] "Haskell type constraints unleashed", Tom Schrijvers and Dominic Orchard, FLOPS 2010, http://tomschrijvers.blogspot.com/2009/11/haskell-type-constraints-unleashed.html
 
- * [KindPolymorphism] "Giving Hasell a promotion", Brent Yorgey, Stephanie Weirich, Julien Cretin, Dimitrios Vytiniotis, and SimonPeyton Jones, submitted to TLDI'12, http://research.microsoft.com/~simonpj/papers/ext-f/
+ * [!KindPolymorphism] "Giving Hasell a promotion", Brent Yorgey, Stephanie Weirich, Julien Cretin, Dimitrios Vytiniotis, and SimonPeyton Jones, submitted to TLDI'12, http://research.microsoft.com/~simonpj/papers/ext-f/
  
  * [Cloud] ''Haskell for the cloud'', Epstein, Black, Peyton Jones, ICFP 2011, http://research.microsoft.com/~simonpj/papers/parallel/
@@ -129 +129 @@
  * [!MonadComp] ''Bringing back monad comprehenions'', George Giorgidze, Torsten Grust, Nils Schweinsberg, and Jeroen Weijers, Haskell Symposium 2011, http://www.pathfinder-xquery.org/files/giorgidze/haskell2011.pdf
 
- * [NewFC] ''Practical aspects of evidence-based compilation in System FC'', Vytiniotis and Peyton Jones, rejected by to ICFP 2011, http://research.microsoft.com/~simonpj/papers/ext-f/
+ * [!NewFC] ''Practical aspects of evidence-based compilation in System FC'', Vytiniotis and Peyton Jones, rejected by to ICFP 2011, http://research.microsoft.com/~simonpj/papers/ext-f/
 
  * [!ParallelGhcProject] ''The Parallel GHC Project home page'', http://www.haskell.org/haskellwiki/Parallel_GHC_Project