Tony Morris

@rickasaurus @tunixman anything you do with that silliness can always be done better without it. EVERY TIME. Yes it is arbitrary.

@dibblego @tunixman You seem pretty emphatic, did it bite you somehow recently, or just feeling passionate?

@rickasaurus @tunixman didn't bite me, just glad I can take advantage of the one thing Java got right.

@dibblego @rickasaurus @tunixman hey, I can still get type information at runtime, just not all of it. Should get rid of more :)

@copumpkin @dibblego @tunixman who says you couldn't prove a program is correct at runtime if you leave holes to fill?

@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