Changes between Version 31 and Version 32 of Status/Oct11


Ignore:
Timestamp:
Nov 1, 2011 6:45:57 PM (2 years ago)
Author:
jhala
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/Oct11

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