undefined | Better HN

0 pointsfdupress2y ago0 comments

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

0 comments

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.

j / k navigate · click thread line to collapse

0 pointsfdupress2y ago0 comments

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.

j / k navigate · click thread line to collapse