News for hackers. Stuff that matters.

A comment on The Unison language (A new approach to Distributed programming). Parent comment

Re:The Unison language (A new approach to Distributed progra... by zawodnaya on Thursday November 17, 2022 @11:10PM (#33650147)
This is true, if you write `bracket` for e.g. `Exception`, then you can break out of the bracket with `abort` if your bracket doesn't handle aborts.

So if you want to be really sure of resource cleanup, you should use something like the `Resource` ability to acquire resources:

https://share.unison-lang.org/@runarorama/code/latest/namesp...

[ Parent | on HN ]
Re:The Unison language (A new approach to Distributed progra... by dwohnitmok on Friday November 18, 2022 @01:41AM (#33651168)
Got it. But you're locked into IO and Exception then and can't use any other abilities right? I guess you could always convert back and forth at the `run` boundary.

Also I would suggest removing Exception.bracket from base then, or at least changing the file handle example for Exception.bracket, since it seems a tad dangerous.

[ Parent | on HN ]