@rml That's also somewhat how I feel about mathematics, but at least they're usually able to write case-point proofs.

Haskellers write screeds where the holy monoid in the category of endofunctors will save their souls and prove their programs correct (but actually just "prove" that A=A). I never see productive solutions to real problems from them.