Does the team have a position on this: https://github.com/modularml/mojo/discussions/783
These things are quite helpful also for safe automatic parallelism (see dex and jax)
#effects system?
final jasper
wicked prism
IIRC, there is also discussion about adding effects to MLIR. Mojo may hook directly into that if that ever happens.
ocean zephyr
Different people mean different things when they say “effect system”. In your mind, what does an effect system do, and how would it improve Mojo?
Mojo already tracks exceptions in function signatures. It also tracks some kinds of mutation (argument mutation), and it will track additional kinds of mutation once references are finalized.