Legend:

* ''David Mazieres at Stanford wants to implement '''Safe Haskell''', a flag for GHC that will guarantee that your program does not use `unsafePerformIO`, foreign calls, RULES, and other stuff stuff.''

92

92

93

* '''Ranjit: would you like to add a para?'''

93

* '''Ranjit Jhala''' at UC San Diego is working on implementing Liquid Types [[http://goto.ucsd.edu/~rjhala/liquid]] within GHC. The goal is to allow programmers to use lightweight refinement types to specify key invariants which can then be verified through a combination of type inference and SMT solving.