Direct-style effects aim to allow writing code without monads while still achieving the benefits of reasoning and composition that monads offer.
Functional programming values reasoning and composition, with effect systems aiming to replace side effects with principles aligned with these values.
Direct-style effects are implemented through language features like contextual functions in Scala 3, but may have shortcomings that can be addressed with further language innovations.
[
add
]
[
|
|
...
]