5 ms·
Existential types? The author alludes to this, and then proceeds in ignorance of what he'd just said for the rest of the post. In Java, all you have for these
by baguasquirrel 15y ago
Existential types? The author alludes to this, and then proceeds in ignorance of what he'd just said for the rest of the post.
In Java, all you have for these is interfaces, so it's no wonder people think that types are problematic.
Types aren't the problem. Crappy types are the problem. Not making the types lightweight enough that people can dish them out at their pleasure, that's the problem. When the math don't work well enough, make better maths.
- swannodette 15y agoExcept you can't unpack existential types, right? http://stackoverflow.com/questions/2300275/how-to-unpack-a-haskell-existential-type http://stackoverflow.com/questions/2300275/how-to-unpack-a-h...
- dons 15y agoUnpack in this sense means "unbox", and you can specialize before you hide the type.