Hacker News Reader

Linear types and handlers are even more inconsistent, given the continuations could be run more than once if not careful.

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-resource

I think linear types and exceptions can play well together if you use controlled effects like this.