The Hope+C existential type is not unsound. With some help from Evan I
decoded your Haskell example, please excuse the reply being in Hope+C
:-)
Heterogenous list of windows in Hope+C (examples here are actually
Massey Hope+C, Hope+C is a moving target - but the type system is as
in Hope+C).
Announcing
==
The Haskell Report
Version 1.2
1 March 1992
The Haskell Committee, formed in September 1987 to design a "common"
non-strict purely
Tony Davie writes
> All this talk of existential types seems to have crept in from somewhere.
> I certainly don't have earlier messages from the haskell e-mail distributions.
> Was this stuff on news or what? If so, could it be copied to e-mail as not
> all of us get news.
No, this stuff seems t