4 ms·
> now everyone is looking at ways to balance GC with affine types in most mainstream languages. Sounds interesting, do you have some links on this topic?
by johnnycerberus 6y ago
> now everyone is looking at ways to balance GC with affine types in most mainstream languages.
Sounds interesting, do you have some links on this topic?
- pjmlp 6y agoSure, several Swift https://swift.org/blog/swift-5-exclusivity/ https://swift.org/blog/swift-5-exclusivity/ https://github.com/apple/swift/blob/master/docs/OwnershipManifesto.md https://github.com/apple/swift/blob/master/docs/OwnershipMan... D https://dlang.org/blog/2019/07/15/ownership-and-borrowing-in-d/ https://dlang.org/blog/2019/07/15/ownership-and-borrowing-in... Haskell https://gitlab.haskell.org/ghc/ghc/-/wikis/linear-types https://gitlab.haskell.org/ghc/ghc/-/wikis/linear-types Chapel https://chapel-lang.org/docs/technotes/lifetimeChecking.html https://chapel-lang.org/docs/technotes/lifetimeChecking.html ParaSail https://adacore.github.io/ParaSail/ https://adacore.github.io/ParaSail/ Ada/SPARK 2014 proposal https://www.adacore.com/uploads/techPapers/Safe-Dynamic-Memory-Management-in-Ada-and-SPARK.pdf https://www.adacore.com/uploads/techPapers/Safe-Dynamic-Memo... Pony https://tutorial.ponylang.io/reference-capabilities/reference-capabilities.html https://tutorial.ponylang.io/reference-capabilities/referenc... Verona (very early stages) https://www.microsoft.com/en-us/research/project/project-verona/#!talks-workshops https://www.microsoft.com/en-us/research/project/project-ver...