Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Rust-style resource management in OCaml. Parent comment
2. affine & linear types are actually useful modelling tools e.g. to make state machines statically non-rollbackable/duplicable (this is related to resource management as those are generally the STMs you want to lock down)
There are no comments on this comment yet.
2. affine & linear types are actually useful modelling tools e.g. to make state machines statically non-rollbackable/duplicable (this is related to resource management as those are generally the STMs you want to lock down)