Re: Dynamic binding and heterogeneous lists

[Lennart Augustsson]

Kevin Atkinson wrote:

> I am sorry for the naive question but how do you fell about adding
> dynamic binding to Haskell to make it possible to have heterogeneous
> lists with out having to use a nasty union type which has a number of
> problems.
>

What you want(?) is existential types.  Most implementations support
this.


--

        -- Lennart