Re:Haskell's Children
by pjmlp on Wednesday September 23, 2020 @07:19AM
(#24565608)
For me the biggest merit Rust brings into the table is that affine types got out of the research lab, and now everyone is looking at ways to balance GC with affine types in most mainstream languages.
[ Parent
| on HN ]
Re:Haskell's Children
by johnnycerberus on Wednesday September 23, 2020 @09:02AM
(#24566497)
> 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?
Sure, several
Swift
https://swift.org/blog/swift-5-exclusivity/
https://github.com/apple/swift/blob/master/docs/OwnershipMan...
D
https://dlang.org/blog/2019/07/15/ownership-and-borrowing-in...
Haskell
https://gitlab.haskell.org/ghc/ghc/-/wikis/linear-types
Chapel
https://chapel-lang.org/docs/technotes/lifetimeChecking.html
ParaSail
https://adacore.github.io/ParaSail/
Ada/SPARK 2014 proposal
https://www.adacore.com/uploads/techPapers/Safe-Dynamic-Memo...
Pony
https://tutorial.ponylang.io/reference-capabilities/referenc...
Verona (very early stages)
https://www.microsoft.com/en-us/research/project/project-ver...