Effects allow more aspects of computation to be represented/generalized, but as the author has noted concrete implementations have already been tried in some cases. Rust’s ownership, Java’s exceptions, Typescript’s async are all instances where the language made a choice about and provided syntax for some effect.
Generalized effects are not yet proven (IMO) to improve developer ergonomics for rank-and-file devs. It may be the case that most devs need most decisions to be made for them, and the power of effects is just lost to them. That may also apply to agents. They don’t _need_ to encode the constraint. The constraint was decided when the language was picked.
Comments
It’s possible.
Effects allow more aspects of computation to be represented/generalized, but as the author has noted concrete implementations have already been tried in some cases. Rust’s ownership, Java’s exceptions, Typescript’s async are all instances where the language made a choice about and provided syntax for some effect.
Generalized effects are not yet proven (IMO) to improve developer ergonomics for rank-and-file devs. It may be the case that most devs need most decisions to be made for them, and the power of effects is just lost to them. That may also apply to agents. They don’t _need_ to encode the constraint. The constraint was decided when the language was picked.