Changes between Version 28 and Version 29 of Status/Oct11


Ignore:
Timestamp:
Nov 1, 2011 4:21:10 PM (3 years ago)
Author:
jhala
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/Oct11

    v28 v29  
    104104=== Liquid types === 
    105105 
    106 '''Ranjit''' 
     106We are working on adding liquid types: a form of (dependent) refinement types that use SMT solvers to carry out 
     107type inference. A prototype has been built that works for a subset of the language (without typeclasses). 
     108Some examples include tracking invariants of  
     109a lambda-calculus evaluator [[http://goto.ucsd.edu/~rjhala/HsAnnot/mapreduce.hs.html]],  
     110a toy "map-reduce" [[http://goto.ucsd.edu/~rjhala/HsAnnot/mapreduce.hs.html]] and  
     111the obligatory list-length examples [[http://goto.ucsd.edu/~rjhala/HsAnnot/meas5.hs.html]] 
     112Currently, we are working on restricted ways of handling at the basic typeclasses (Ord, Num etc.), 
     113and also building a web-interface to the tool. 
    107114 
    108115=== Parallel project ===