Changes between Version 30 and Version 31 of Status/Oct11


Ignore:
Timestamp:
Nov 1, 2011 4:25:12 PM (4 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 ===