Changes between Version 33 and Version 34 of Status/Oct11
 Timestamp:
 Nov 1, 2011 8:23:41 PM (5 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Status/Oct11
v33 v34 104 104 === Liquid types === 105 105 106 We are working on adding liquid types to GHC. Liquid Types are a form of (dependent) refinement 107 types that use predicate abstraction and SMT solvers to carry out type inference. A prototype has 108 been built that works for a subset of the language (without typeclasses) [[http://goto.ucsd.edu/~rjhala/liquid]]. 106 Ranjit Jhala is working on adding liquid types to GHC. Liquid Types are a form of (dependent) refinement types that use predicate abstraction and SMT solvers to carry out type inference. A prototype has been built that works for a subset of the language (without typeclasses) [[http://goto.ucsd.edu/~rjhala/liquid Liquid]]. 109 107 Currently, we are working on ways of handling at the basic typeclasses (Ord, Num etc.), and building 110 108 a webinterface. … … 129 127 == Bibliography == 130 128 131 * [!CloudHaskell] ''Towards Haskell in the Cloud'', Jeff Epstein, Andrew P. Black, and Simon Peyton Jones, Haskell Symposium 2011, http://research.microsoft.com/ enus/um/people/simonpj/papers/parallel/remote.pdf129 * [!CloudHaskell] ''Towards Haskell in the Cloud'', Jeff Epstein, Andrew P. Black, and Simon Peyton Jones, Haskell Symposium 2011, http://research.microsoft.com/~simonpj/papers/parallel/remote.pdf 132 130 133 131 * [!ConstraintFamilies] ''Constraint families'', Max Bolingbroke blog post, http://blog.omegaprime.co.uk/?p=61 … … 135 133 * [!ConstraintKind] "Constraint kinds for GHC", Max Bolingbroke blog post, http://blog.omegaprime.co.uk/?p=127 136 134 137 * [!WikiConstraint] ''Adding kind Constraint'', GHC wiki page, http://hackage.haskell.org/trac/ghc/wiki/KindFact138 139 * [Unleashed] "Haskell type constraints unleashed", Tom Schrijvers and Dominic Orchard, FLOPS 2010, http://tomschrijvers.blogspot.com/2009/11/haskelltypeconstraintsunleashed.html140 141 135 * [!KindPolymorphism] ''Giving Hasell a promotion'', Brent Yorgey, Stephanie Weirich, Julien Cretin, Dimitrios Vytiniotis, and Simon Peyton Jones, submitted to TLDI'12, http://research.microsoft.com/~simonpj/papers/extf/ 142 136 143 * [ Cloud] ''Haskell for the cloud'', Epstein, Black, Peyton Jones, ICFP 2011, http://research.microsoft.com/~simonpj/papers/parallel/137 * [Liquid] ''Liquid types home page'', Ranjit Jhala, http://goto.ucsd.edu/~rjhala/liquid 144 138 145 139 * [!MonadComp] ''Bringing back monad comprehensions'', George Giorgidze, Torsten Grust, Nils Schweinsberg, and Jeroen Weijers, Haskell Symposium 2011, http://db.inf.unituebingen.de/files/giorgidze/haskell2011.pdf … … 155 149 * [SHE] ''The Strathclyde Haskell Enhancement'', Conor !McBride, 2010, http://personal.cis.strath.ac.uk/~conor/pub/she/ 156 150 151 * [Unleashed] "Haskell type constraints unleashed", Tom Schrijvers and Dominic Orchard, FLOPS 2010, http://tomschrijvers.blogspot.com/2009/11/haskelltypeconstraintsunleashed.html 152 157 153 * [!VectorInstructions] ''Using SIMD instructions via the LLVM back end'', GHC wiki page, http://hackage.haskell.org/trac/ghc/wiki/SimdLlvm 154 155 * [!WikiConstraint] ''Adding kind Constraint'', GHC wiki page, http://hackage.haskell.org/trac/ghc/wiki/KindFact 156 157