28 May
2013
28 May
'13
8:04 a.m.
On Tue, May 28, 2013 at 9:36 AM, harry
Every OO language which supports generics allows a declaration such as List<Show> alist, where Show is an interface. Any type implementing Show can be put in alist, and any Show operation can be performed on the alist's members. No casts, wrappers, or other special types and plumbing are needed.
Why isn't it possible to do this directly in Haskell?
Just to make sure... I guess you've already read http://www.haskell.org/haskellwiki/Heterogenous_collections right? /M -- Magnus Therning OpenPGP: 0xAB4DFBA4 email: magnus@therning.org jabber: magnus@therning.org twitter: magthe http://therning.org/magnus