>Effects on their own are a very active area of research and I would laugh behind a PL researchers back if they claimed it was a solved issue. Between Monads, c

>Effects on their own are a very active area of research and I would laugh behind a PL researchers back if they claimed it was a solved issue. Between Monads, call-by-push-value, and algebraic effects there is really no clear "how do people actually use this" answer. I can actually say that I used algebraic effects in my thesis for the section on semantics of a basic probabilistic programming language. It avoided talking about monads for my committee member who cared and honestly made for an easier implementation.