4 ms·
While the effect system seems way more general, it’s a bit sad the example only talk about logging or IO, both of which can be simply done with dependency injec
by KolmogorovComp 4mo ago
While the effect system seems way more general, it’s a bit sad the example only talk about logging or IO, both of which can be simply done with dependency injection
- tome 4mo agoIt's my belief that all effects can be done with dependency injection in some form, at least, I'm not familiar with ones that can't. Even arbitrary delimited continuations can be implemented by injecting a reference to the continuation prompt on the stack.