More precise GC

[bearophile]

William T. Fnk:
>This is a rather ridiculous way of emulating algebraic data types<

I think algebraic data types in Haskell don't allow you to use for example enums with no tags, where the tag is stored in the less significant bit of the pointer that points to the enum.
And I think algebraic data types will not be added to D, while normal not-GC-precise enums will be kept in D, so...


>and value-oriented programming.<

I don't know what this is.

Bye,
bearophile