Verifiable Functional Purity in Java

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Verifiable Functional Purity in Java

James Iry-2
A nice paper just showed up on LtU that might be of interest to the future of Scala.  The authors add a very simple pure/impure effects system to what is essentially a subset of the Java language.

http://www.cs.berkeley.edu/~daw/papers/pure-ccs08.pdf