Re:bandwagon (Score 2, Informative)

I might be mistaken, but basically what you're saying is that computer programmers should discard computer science methods as irrelevant? Including things like graphs and sorting algorithms, for example (which are studied using formal methods by computer scientists)? As for di Cosmo, maybe you should have a look at the "Free Software" page on his web site :
http://www.dicosmo.org/. This guy actually writes stuff that's *useful*.