On 19-Feb-1999, S. Alexander Jacobson [EMAIL PROTECTED] wrote:
Do existential types makes algebraic types obsolete?
I mean there seems to be a large semantic overlap between the two
concepts.
For example, once you can implement lists with just the product type (,),
why bother with
Fergus Henderson wrote:
What would happen if `write' was called with an MVar variable and an
Error variable? Would the `exitWith' function get called, or would the
`putMVar' function get called?
Haskell doesn't normally let you define clauses for the same function
in different modules.
Do existential types makes algebraic types obsolete?
I mean there seems to be a large semantic overlap between the two
concepts.
For example, once you can implement lists with just the product type (,),
why bother with algebraic types?
Arguably Boolean is a natural algebraic type, but if we