News for hackers. Stuff that matters.

A comment on What Color Is Your Monad. Parent comment

Re:What Color Is Your Monad by throwaway17_17 on Thursday February 17, 2022 @12:35PM (#30376032)
Sorry for the late comment, but... Do you have any literature references on the combination of delimited continuations and effect systems. I would certainly be interested in some of the formalisms used to discuss the efficiency characteristics of effectful computations.
[ Parent | on HN ]
Re:What Color Is Your Monad by isaacimagine on Friday February 18, 2022 @01:39AM (#30382789)
Oleg has a lot of good work on continuations and effects. You can also check his papers for additional references, but the papers on these two pages of his should serve a good jumping off point:

https://okmij.org/ftp/Computation/dynamic-binding.html#DDBin...

https://okmij.org/ftp/Computation/#Shonan-handlers

[ Parent | on HN ]