a shorter phrase than "algebraic data type"

[Hannah Schroeter]

Hello!

On Tue, Aug 28, 2001 at 03:44:26PM -0500, Mark Carroll wrote:
> They remind me of union types, as in C (IIRC - I never used them),
> for what little that's worth.

No. C-unions are untagged and thus, not really type safe. Haskell's
sum types *are* tagged and thus quite safe (except for incomplete
pattern matches which may cause some evaluation to diverge).

Kind regards,

Hannah.