Prism: An Impure Functional Language With Typed Effects

The article introduces Prism, a proof-of-concept functional compiler that models effects with modern types inspired by OCaml, Haskell, and Koka. It discusses how Prism's effects are row polymorphic, union structurally across calls, and can be handled by a handler that gives them meaning.