News for hackers. Stuff that matters.
Re:Dependent Haskell by hinata on Tuesday December 18, 2018 @04:01AM (#18705335)
Academically, both reference counting (C++, Swift, some patterns in Rust) and tracing garbage collection (Java, C#) fall under the umbrella of garbage collection.
Re:Dependent Haskell by ncmncm on Tuesday December 18, 2018 @10:15AM (#18706979)
The important distinction, then, is obligate garbage collection. Can I write a substantial program that does, and needs, no garbage collection of any kind? In C++ and Rust, yes, trivially, every day.

The distinction matters because without obligate GC, you get the benefit of destructors (or in Rust, the Drop trait), and have the tool for resource management of every kind, usually written "}". Reference counting GC is rarely used in well-designed C++ and Rust programs, simply because there is rarely any need for it. Reliance on shared_ptr or ARC is recognized as a disease of forced Java converts.

Re:Dependent Haskell by staticassertion on Tuesday December 18, 2018 @08:57PM (#18712406)
This isn't true if you've actually seen production Rust code, but the point is irrelevant to the issue of swift being GC'd - it is.