[0xjnml]

> I think if Golang would have been invented a couple of years later it def would have had sum types.

How to combine sum types and a precise garbage collector?

[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?