Должен признать, при всей моей нелюбви к языкам со строгой типизацией, изучать их необходимо. Это вдалбливает в голову простые и элегантные решения, которые раньше для меня, работавшего лишь со скриптовыми языками с нестрогой типизацией, были не очевидны.
Наверное скоро я дорасту-таки до процедурных языков, матана и логики предикатов.. =)