6 ms·
Linear types and handlers are even more inconsistent, given the continuations could be run more than once if not careful.
by fdupress 3y ago
Linear types and handlers are even more inconsistent, given the continuations could be run more than once if not careful.
- alexisread 3y agoThis is why, in Koka, there exists initially and finally blocks, to control resource cleanup https://koka-lang.github.io/koka/doc/book.html#sec-resource https://koka-lang.github.io/koka/doc/book.html#sec-resource I think linear types and exceptions can play well together if you use controlled effects like this.