a shorter phrase than "algebraic data type"

Hannah Schroeter uk1o@rz.uni-karlsruhe.de
Wed, 29 Aug 2001 10:49:55 +0200


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,