Porovnání rychlostí nástrojů pro statické typové kontroly.