Disciple

http://www.haskell.org/haskellwiki/DDC
モナドを使う代わりにEffect Systemを使ったHaskell風のプログラミング言語。
Effect Systemというのは、関数の持つ副作用を型に記述して、トラッキングする仕組みらしい。
副作用をトラッキングすることができることはわかったのだけれど、それを使ってどのように副作用を安全に取り扱うことができるのかは、よくわかってない。
ただ、この言語はHaskellやCleanと違ってデフォルト正格で、文（Statement）という概念が存在するので、副作用の取り扱いは神経質にならなくてもよいということなのかもしれない。