Changes between Version 30 and Version 31 of Status/Oct11


Ignore:
Timestamp:
Nov 1, 2011 4:25:12 PM (2 years ago)
Author:
jhala
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/Oct11

    v30 v31  
    104104=== Liquid types === 
    105105 
    106 We are working on adding liquid types: a form of (dependent) refinement types that use SMT solvers to carry out 
    107 type inference. A prototype has been built that works for a subset of the language (without typeclasses). 
    108 Some examples include tracking invariants of  
     106We are working on adding liquid types: a form of (dependent) refinement types that use SMT 
     107solvers to carry out type inference. A prototype has been built that works for a subset of the 
     108language (without typeclasses). Some examples include refinement types that track invariants of  
    109109a lambda-calculus evaluator [[http://goto.ucsd.edu/~rjhala/Liquid/lambdaEval.hs.html]],  
    110110a toy "map-reduce" [[http://goto.ucsd.edu/~rjhala/Liquid/mapreduce.hs.html]] and  
    111111the obligatory list-length examples [[http://goto.ucsd.edu/~rjhala/Liquid/meas5.hs.html]] 
    112 Currently, we are working on restricted ways of handling at the basic typeclasses (Ord, Num etc.), 
    113 and building a web-interface. 
     112Hover the mouse over identifiers to see inferred types. Currently, we are working on restricted 
     113ways of handling at the basic typeclasses (Ord, Num etc.), and building a web-interface. 
    114114 
    115115=== Parallel project ===