Replies: 1 comment
-
The Algebraic Effects feature was introduced into languages based on more Mathematical / Categorial origins. I think this is the canonical paper: A Logic for Algebraic Effects by Plotkin & Pretnar, followed up by an implementation of handlers in Pretnar's dissertation The Logic And Handling of Algebraic Effects Here is a good resource for seeing the history of publications in algebraic effects. https://github.com/yallop/effects-bibliography |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
I'm starting to learn a little bit about category theory, and I know that the category
Set
can be used to model total functional programming, andHask
can be used to model pure functional programming. Is there a category that models effectful functional programming, i.e.Koka
?This statement on the homepage suggested to me the answer is yes :) What would it look like?
Beta Was this translation helpful? Give feedback.
All reactions