4 ms·
Also called "continuation monad", which can be proven to be universal. So, no surprise.
by dirkt 3y ago
Also called "continuation monad", which can be proven to be universal.
So, no surprise.
- throwaway17_17 3y agoThese 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...
- alexisread 3y agoYou can match return types across continuations with delimited dynamic variables, an extension of delimited continuations http://okmij.org/ftp/papers/DDBinding.pdf http://okmij.org/ftp/papers/DDBinding.pdf