You might want to check out Koka [1], which includes an effect system to separate pure and effectful computation. I believe there is also a demo of it online [2].

[1] http://research.microsoft.com/en-us/projects/koka/

[2] http://www.rise4fun.com/koka/tutorial