Existential types: want better syntactic support (autoboxing?)
taralx at gmail.com
Mon Jan 30 11:45:40 EST 2006
On 1/30/06, Johannes Waldmann <waldmann at imn.htwk-leipzig.de> wrote:
> How can we achieve the same effect in Haskell?
I see no reason why we can't create an existential datatype for every
single-parameter type class, perhaps with autoboxing.
Taral <taralx at gmail.com>
"Computer science is no more about computers than astronomy is about
-- Edsger Dijkstra
More information about the Haskell-prime