Promising contenders include algebraic effects in OCaml and JVM's Project Loom.