Richard Uhtenwoldt <[EMAIL PROTECTED]> writes:
[...]
> My reason for posting is to
> bring attention to how something similar is done in the language merd,
> whose designer posts here under the name pixel, and which
> is actually implemented I think.
not really. still coding... :)
[...]
> htt
Ashley Yakeley:
>I think existential types are arranged so that Haskell never needs to
>store type information in them at run-time. So you'll never be able to do
>dynamic OOP with them.
>
>One possible extension to Haskell for dynamic OOP, which I never tire of
>suggesting, is the extensible data