The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning. Learn more →
Effects-examples Alternatives
Similar projects and alternatives to effects-examples
-
-
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
-
-
ocaml-effects-tutorial
Concurrent Programming with Effect Handlers
-
-
raytracers
Performance comparison of parallel ray tracing in functional programming languages
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
contextpy-examples
Example applications using ContextPy. See: https://www.hpi.uni-potsdam.de/hirschfeld/trac/Cop/wiki/ContextPy
-
-
-
-
weave
A state-of-the-art multithreading runtime: message-passing based, fast, scalable, ultra-low overhead (by mratsim)
-
effects-examples reviews and mentions
-
Maybe Everything Is a Coroutine
Isn't a language described very similar to the (future) OCaml with effects (https://github.com/ocaml-multicore/effects-examples) added?
-
Context: The Missing Feature of Programming Languages
Sure. They probably don't mention coeffects so often because their effect system subsumes both effects (actions to be performed) and coeffects (information from the context), and it can do way more than what you're proposing. Here are some examples you may take a look. The dynamic state example in there could be adapted to act as coeffects (contexts) as you suggest. For coeffects in particular, this is a great resource. You may also be interested in Koka's documentation, as it was designed to be a language with effects and coeffects since the beginning (OCaml did only retrofit them recently).
-
OCaml Multicore merged upstream
Good question!
https://github.com/ocaml-multicore/effects-examples has links to tutorials and examples for how effects can be used.
There's also some slides from KC's talk on effect handlers https://kcsrk.info/slides/handlers_edinburgh.pdf and materials from the CUFP 17 tutorial: https://github.com/ocamllabs/ocaml-effects-tutorial
https://gopiandcode.uk/logs/log-bye-bye-monads-algebraic-eff... this is also a great introduction
-
Multicore OCaml PR has been merged
Here's a post outlining the part that people are excited about. Here's the examples list if you'd like more concrete examples.
-
Scripting Languages of the Future
I think it's not discussed enough how things like language features shape how library APIs are formed. People usually seem to only consider the question "how would I use this feature?" and not "how would the standard library look like with this feature?", which is surprising given how much builtin libraries affect the pleasantness of a language.
One of the things I'm excited to see is the cap-std project for Rust [0] given what Pony [1] has demonstrated is possible with capabilities. I'm also hoping that languages like Koka [2] and OCaml [3] will demonstrate interesting use cases for algebraic effects.
[0] https://github.com/bytecodealliance/cap-std
[1] https://www.ponylang.io/discover
-
A note from our sponsor - WorkOS
workos.com | 28 Mar 2024
Stats
ocaml-multicore/effects-examples is an open source project licensed under ISC License which is an OSI approved license.
The primary programming language of effects-examples is OCaml.
Popular Comparisons
- effects-examples VS eioio
- effects-examples VS lwt_eio
- effects-examples VS cap-std
- effects-examples VS ocaml-effects-tutorial
- effects-examples VS sandmark
- effects-examples VS raytracers
- effects-examples VS ocaml
- effects-examples VS contextpy-examples
- effects-examples VS context-s
- effects-examples VS COBPjs