Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Kyo in Clojure #1035

Open
fwbrasil opened this issue Jan 20, 2025 · 0 comments
Open

Kyo in Clojure #1035

fwbrasil opened this issue Jan 20, 2025 · 0 comments
Labels

Comments

@fwbrasil
Copy link
Collaborator

fwbrasil commented Jan 20, 2025

While #871 is meant to explore exposing fine-grained effect tracking in TypeScript and #872 explores constrained effect tracking in Java, I've been wondering if it'd be possible to provide a good experience with algebraic effects in a dynamically-typed language.

The existence of untracked algebraic effects in OCaml indicates that it might be possible:

Unlike languages such as Eff and Koka, effect handlers in OCaml do not provide effect safety; the compiler does not statically ensure that all the effects performed by the program are handled. If effects do not have a matching handler, then an Effect.Unhandled exception is raised at the point of the corresponding perform

Given Clojure's focus on FP, it seems a good target for this exploration.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants