Changes between Version 24 and Version 25 of Status/May11


Ignore:
Timestamp:
Apr 29, 2011 7:51:47 PM (3 years ago)
Author:
dterei
Comment:

Add safehaskell stuff.

Legend:

Unmodified
Added
Removed
Modified
  • Status/May11

    v24 v25  
    8989 * '''Max Bolingbroke''' continues his !PhD work on supercompilation, with a nice new paper [[http://research.microsoft.com/~simonpj/papers/supercompilation/ ImprovingSupercompilation]].  The plan is to make his supercompiler part of GHC, over the next year or so. 
    9090  
    91  * ''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.'' 
     91 * '''David Mazieres''' and '''David Terei''' at Stanford are busy implementing '''[http://hackage.haskell.org/trac/ghc/wiki/SafeHaskell Safe Haskell]''', a flag for GHC that will guarantee that your program has certain properties such as referential transparency and constructor access control, while still having the same semantics as it normally would. The flag basically allows you to trust the types of your program, giving you if you will a more 'pure' version of Haskell where 'unsafePerformIO' is outlawed, abstract data types are actually abstract and safety is provided by the compiler not the user. This is being done as part of a larger project by the [http://www.scs.stanford.edu/ Stanford Secure Computing Systems] group involving the use of dynamic information flow based security in Haskell to build a secure web framework that allows the inclusion of third party untrusted code. 
    9292 
    9393 * '''Ranjit Jhala''' at UC San Diego is working on implementing Liquid Types [[http://goto.ucsd.edu/~rjhala/liquid 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.