Re:Async destructors, async genericity and completion futures
by artemonster on Thursday June 02, 2022 @03:47AM
(#31592472)
Would the same be achieved with an algebraic effect? Static type system will enforce that „close“ is thrown and handled and thats it?
[ Parent
| on HN ]
Re:Async destructors, async genericity and completion futures
by bruce343434 on Thursday June 02, 2022 @08:36AM
(#31594019)
Could you explain in non-academeze what an algebraic effect is and how it's the solution here? Genuine question since everything I read about algebraic effects is either impenetrable math notation or some article about how it's a resumable exception.
It's almost analogous to monads apparently being wrapper types (but somehow different/with implications?).