29 Aug
2001
29 Aug
'01
4:49 a.m.
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.