Is there a good post on why reifying Java's generics is a bad idea? I can think of a couple of reasons, but I don't think I grok it.
-
@S11001001@PhilipWadler I love that paper, but how is parametricity affected by reifying generics? Just because it's reflection?
@ctford @S11001001 @PhilipWadler Reification gives only dubious (no) use-cases at the expense of parametricity. That's quite expensive!
-
-
@dibblego@S11001001@PhilipWadler Isn't parametricity already lost? Theorems for free needs total functions, and most methods fail on null. -
@ctford@S11001001@PhilipWadler No. See Fast and Loose Reasoning, - Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.