undefined | Better HN

0 points0xjnml3y ago0 comments

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

0 comments

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

0xjnmlOP3y ago

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

j / k navigate · click thread line to collapse

0 points0xjnml3y ago0 comments

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

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

0xjnmlOP3y ago

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

j / k navigate · click thread line to collapse