3 ms·
> It makes it almost impossible to forget to release resources or rollback transaction. No. For that you need a better type system. Linear types show great pr
by willtim 9y ago
> It makes it almost impossible to forget to release resources or rollback transaction.
No. For that you need a better type system. Linear types show great promise for this.
- sedachv 9y agoLinear types don't "show" promise, they solve the issue, and this has been known since linear logic was popularized by Wadler[1] and Baker[2] in the early 1990s. The problem is that programming with linear logic is very inconvenient for a lot of things, and very inefficient for when you actually want to share data. [1] http://homepages.inf.ed.ac.uk/wadler/papers/linearuse/linearuse.ps.gz http://homepages.inf.ed.ac.uk/wadler/papers/linearuse/linear... [2] http://home.pipeline.com/~hbaker1/LinearLisp.html http://home.pipeline.com/~hbaker1/LinearLisp.html