Re: Existential types

1992-03-20 Thread N . Perry
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).

Haskell report 1.2 now available

1992-03-20 Thread john peterson
Announcing == The Haskell Report Version 1.2 1 March 1992 The Haskell Committee, formed in September 1987 to design a "common" non-strict