Tony Morris

@rickasaurus @tunixman The ability to do some arbitrary thing is not an argument in favour of utility.

@dibblego @tunixman It's not arbitrary, and you can do it in a safe and pure way

@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.