
31 Jan
2006
31 Jan
'06
8:02 a.m.
Am Dienstag, 31. Januar 2006 03:20 schrieb John Meacham:
[...]
an alternative might be to just allow existential types in structures so we can have [exists a . Foo a => a], but that probably has its own can of worms...
But it sounds very reasonable to me, more reasonable than the autoboxing approach :-(.
John
Best wishes, Wolfgang