| 106 | | We are working on adding liquid types: a form of (dependent) refinement types that use SMT |
| 107 | | solvers to carry out type inference. A prototype has been built that works for a subset of the |
| 108 | | language (without typeclasses) [[http://goto.ucsd.edu/~rjhala/liquid]]. Currently, we are working |
| 109 | | on ways of handling at the basic typeclasses (Ord, Num etc.), and building a web-interface. |
| | 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]]. |
| | 109 | Currently, we are working on ways of handling at the basic typeclasses (Ord, Num etc.), and building |
| | 110 | a web-interface. |
