Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
@Alexis King It seems like you are doing some interesting work on delimited-control branch of eff (https://github.com/hasura/eff/blob/delimited-control/eff/src/Control/Effect/Internal.hs) - this implementation seems to be completely different from the original one at master and somewhat harder to figure out without description - is there some info about it available or should we wait for it to "settle down" a little bit? :slight_smile:
I am indeed currently in the process of rewriting it completely. :) I am very happy with how things are shaping up so far, but there is still work left to do. I will certainly document it much more extensively once I get it all working (assuming I don’t hit some as-yet-unforeseen roadblock!), but I’m happy to answer questions about it in the meantime!
I posted a little bit of information about it on twitter here: https://twitter.com/lexi_lambda/status/1209967598500225024
I’ve been taking the holiday as an opportunity to return to my effect system experiments! I’ve been playing with a different approach based on an implementation of delimited control using “metacontinuations.” Lots of interesting tradeoffs, but I like what I’ve been seeing so far! https://twitter.com/lexi_lambda/status/1209967598500225024/photo/1
Oh, nice, thanks!
YouTube - Alexis King - “Effects for Less” @ ZuriHac 2020