Which language would annoy a PHP user?

We have nobody who coordinates the programmers at the company. Everybody uses the technology he wants.

Which programming language would you suggest to learn that would annoy a PHP user (who knows a bit of Java) and give him a bad time if he has to take over a project?

>>35

Also. The flaw in your thinking is the part where you say "Everything is proved mathematically before compilation" (more accurately, not entirely mathematically but heuristically, and more accurately, during compilation ;)

Specifically, the flaw is in assuming that apriori deductions hold in a running system.