This type system is a joke

In the rigid composition style of academic papers, there are little tiny cracks where one can insert bits of humor and editorial opinion, as exemplified by the following sentence from a paper on Java's type system.

Unlike the GJ compiler, which rejects an expression containing stupid casts as ill-typed, FGJ indicate the special nature of stupid casts by including the hypothesis "stupid warning" into typing rules for stupid casts. See [10] for detailed discussions on the rules for typecasts.

-- Atsushi Agarashi, Benjamin C. Pierce, Philip Wadler, in "A Recipe for Raw Types" (which, as it happens, also defines "cooked" types.)