[seer-zig]

They're not mutually exclusive. Scala and Haskell had them for a long time now, and Java got them relatively recently.

[0xjnml]

How can a precise garbage collector work when it does not know if a value is or is not a pointer?