Spring Jo 🥚 
🍀🔄
LisPi@ShadowJonathan CSP > Async, Preemptive scheduling > non-preemptive scheduling.
Thank you for coming to my talk.
Corbin@lispi314 @ShadowJonathan Could I offer you a continuation monad while you wait?
@corbin @ShadowJonathan I dislike the monadic terminology around continuations, it's a lot more confusing and vague than that which Scheme uses.
Delimited continuations are very different from other types of continuations.
@corbin @ShadowJonathan That being said, I consider that to use continuations in this case would require leaking more through the abstractions (is it local or not? Single thread of execution or not?) than what looks like message-passing or procedure-calls (remote or local, both are trivial to add onto message passing).
@lispi314 @ShadowJonathan Good points. I think that purity is relevant; we usually intend for deferred actions to be impure and not idempotent, which is exactly the case where the continuation monad is non-trivial.