3 ms·
Effect systems strike again! They've come up a few times recently on HN, and region-based memory management is another problem they can solve. This paper descri
by noelwelsh 2y ago
Effect systems strike again! They've come up a few times recently on HN, and region-based memory management is another problem they can solve. This paper describes a type system that region-based memory management falls out of as a special case: https://dl.acm.org/doi/10.1145/3618003 https://dl.acm.org/doi/10.1145/3618003
- mst 2y agoI was quite fascinated by koka's use of refcounting during compilation to be able to do June's 'recycle' trick automatically (i.e. if you consume or discard the last reference to something during an operation that returns a new 'something' it re-uses the memory of the now-defunct one).