Existential types: want better syntactic support (autoboxing?)

Johannes Waldmann waldmann at imn.htwk-leipzig.de
Wed Jan 25 03:53:36 EST 2006

It is standard practice to hide implementation details,
in particular, not publishing the type of an object,
but just the interfaces that its type implements. We can do this
with existential types but the notation feels clumsy. See my message
-- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 --
---- http://www.imn.htwk-leipzig.de/~waldmann/ -------

More information about the Haskell-prime mailing list