-
@rickasaurus@dibblego@tunixman we just like the guarantees of parametricity, which is explicitly about disallowing knowledge of that sort.
@copumpkin @rickasaurus @tunixman Parametricity is a ubiquitous programming technique that is destroyed by these type system shenanigans.
-
-
@dibblego@copumpkin@tunixman well, if you have a good read on it I'd like to give it a look -
@rickasaurus@dibblego@tunixman I think what started talk of it in programming was http://ttic.uchicago.edu/~dreyer/course/papers/wadler.pdf … (but it leads to piles of old CT)
End of conversation
New conversation -
-
-
@dibblego Parametricity also nixed by object.GetType() right? - End of conversation
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.