It seems that industry programming languages such as Rust or Scala are studying the implementation of an effects system. Is there any Julep about it? For reference: Rust: Extending Rust's Effect System Scala: CanThrow Capabilities

Just to preempt any misunderstanding, OP isn’t talking about @assume_effects, but about algebraic effects, effect handlers, etc, like in Koka and Effekt .

There was a nice announcement recently from @bertschi that they were working on a common lisp style condition system: [ANN] Package Conditions.jl I’m not particularly knowledgeable about the topic, but my understanding is that lispy condition systems are essentially the same thing as the algebraic …

[image] Mason: my understanding is that lispy condition systems are essentially the same thing as the algebraic effect systems I hadn’t gotten around to figuring out what algebraic effects are all about but this blog post supports the notion that they’re a condition/restart system adapted for…

I might be missing something crucial, but I think we can already do this today with ScopedValues. For example, taking the error-handling example from the blog post @mnemnion linked , we can write this in Julia as using ScopedValues function getName(user) name = user.name if name === nothing …

As Conditions.jl has been mentioned, a few comments: While a condition system can be used to emulate some effects, it does not reify the continuation at the point a condition is thrown. In contrast, effects such as concurrency, e.g., via async/await, require at least one-shot continuations whereas …

[image] bertschi: While a condition system can be used to emulate some effects, it does not reify the continuation at the point a condition is thrown. In contrast, effects such as concurrency, e.g., via async/await, require at least one-shot continuations whereas non-determinism requires full (d…

Martin Odersky, lead developer of Scala, talked about how Scala is tackling this issue.

Are there any plans for Julia to adopt an effects system?

Internals & Design

Topic		Replies	Views
[ANN] Package Conditions.jl Package Announcements	5	1486	October 12, 2023
How to improve Julia (in 2.0 taking from [research] languages): E.g. 2nd class functions Offtopic	4	606	February 26, 2024
About @assume_effects Internals & Design	10	1577	August 24, 2022
This month in Julia world - 2023-06 Newsletter	16	3309	July 1, 2023
Minijyro - a toy Pyro-like PPL Probabilistic Programming	5	1108	April 12, 2020

Are there any plans for Julia to adopt an effects system?

Related topics