Interessante Sprache von MS research: Koka.

Die Sprache handhabt Seiteneffekte mit einer Art Type-State.