Discus

Disciple is an explicitly lazy dialect of Haskell which supports destructive update, computational effects, type directed field projections and allied functional goodness.

More Information

• Please see http://disciple.ouroborus.net for further information.
• You can also post in http://groups.google.com/group/disciple-cafe.
• Or ask in #disciplined on irc.freenode.net