The article advocates explicitly typed effects rather than less effects in code. Effect systems are also useful for making high-performance code safer (or enfor

The article advocates explicitly typed effects rather than less effects in code. Effect systems are also useful for making high-performance code safer (or enforce considerably static safety at small or no runtime cost). The core feature of Rust is statically safe direct mutation, and also we have the ST monad in Haskell which lets us do mutation behind safe immutable API-s.