top | item 38770896 (no title) fdupress | 2 years ago Linear types and handlers are even more inconsistent, given the continuations could be run more than once if not careful. discuss order hn newest alexisread|2 years ago This is why, in Koka, there exists initially and finally blocks, to control resource cleanup https://koka-lang.github.io/koka/doc/book.html#sec-resourceI think linear types and exceptions can play well together if you use controlled effects like this.
alexisread|2 years ago This is why, in Koka, there exists initially and finally blocks, to control resource cleanup https://koka-lang.github.io/koka/doc/book.html#sec-resourceI think linear types and exceptions can play well together if you use controlled effects like this.
alexisread|2 years ago
I think linear types and exceptions can play well together if you use controlled effects like this.