These three comments as a chain are hilariously close to the paper ‘On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimi

These three comments as a chain are hilariously close to the paper ‘On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control’ by Forster,Kammar,Lindley,Pretnar. It’s relatively new and evaluates the expressive power of the three concepts, which barring preserving typability during translation, are equivalent. 1 - https://ps.uni-saarland.de/Publications/documents/ForsterEtAl_2017_Expressiveness-Effects.pdf https://ps.uni-saarland.de/Publications/documents/ForsterEtA...