a shorter phrase than "algebraic data type"
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).