4 ms·
The work done in the Gradle project by Orchard, et al has been consistently good. I think a really solid progression from this paper is to take the same approac
by throwaway17_17 3y ago
The work done in the Gradle project by Orchard, et al has been consistently good. I think a really solid progression from this paper is to take the same approach and combine it with the type system feature in ‘A Flexible Type System for Fearless Concurrency’ (Milano,etal 2022) [1]. The thrust of said paper is to utilize a coarser grain for ‘objects’ than what Rust promotes, which allows for much simpler implementations of common data structures (the paper uses a doubly linked, circular list as a well worked out example). Combining Milano’s approach to the scale at which ‘ownership’ is applied with the graded modality work from Orchard, et al would produce a very promising type system, with less syntactic noise from annotations, and still allow for a sliding scale of fineness in ownership semantics.
1 - https://dl.acm.org/doi/pdf/10.1145/3519939.3523443 https://dl.acm.org/doi/pdf/10.1145/3519939.3523443
- carterschonwald 3y agoI think you mean Granule
- throwaway17_17 3y agoTrue, Granule and Gerty are the language implementations out of Orchard’s group. Thanks for the correction.
- riscy 3y agoSwift recently adopted a region-based approach for safe concurrency that builds on Milano et al’s ideas (shared co-author as well): https://github.com/apple/swift-evolution/blob/main/proposals/0414-region-based-isolation.md https://github.com/apple/swift-evolution/blob/main/proposals...
- throwaway17_17 3y agoI didn’t know it had gotten approved/merged. She (Milano) gave a talk at Strange Loop in ~October of 2023 and reviewed her research work and mentioned on one of the last few slides there was a formal proposal for the implementing the system in Swift. I bookmarked it earlier today, now I’ll have to find the whole discussion history and read that too.
- processunknown 3y agoThis seems to be the video https://youtu.be/Mc3tTRkjCvE?si=xgVvaL6x_g9nLtxp https://youtu.be/Mc3tTRkjCvE?si=xgVvaL6x_g9nLtxp. Thanks for this, I haven’t heard of Strange Loop before and all the talks look interesting!