Changes between Version 31 and Version 32 of Status/Oct11


Ignore:
Timestamp:
Nov 1, 2011 6:45:57 PM (4 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 ===