Earlier quoted context omitted.
When I'm feeling contemplative, I really want to read something continental for the evening. But when I have shit to do, I snap into an analytic frame of mind. I feel the same way about programming languages; the Kierkegaardian crowd (C++, Perl) are great for evening enjoyment, but I'd prefer something from the more analytic tradition to language design when there's work to be done.
so you program in prolog or coq when you really need to get stuff done?
But there's a divide between language authors who sound like engineers/mathematicians and language authors who sound like continental philosphers.
I'd include languages like Java, Python, Go, Haskell, OCaml to be in the "analytic tradition" as well. And yes. lots of people get lots of work done in those languages :-)