Az erős típusosság nem hiba, csak megfelelően sok (és akkor nem baj, hogy explicit) lehetőségeket kell mellé odatenni: generikus típusok, polimorfizmus, overloading, interface-ek, mixinek ilyesmi.
Szóval gondolom inkább ezek hiánya/gyengesége az ami zavarhat, bár őszintén szólva fogalmam sincs ezen a téren a modern Pascal hogy áll... ;)
Az implicit típuskonverzió rengeteg hiba melegágya lehet azáltal, hogy rendkívül nehéz az automatikus konverzióból eredő hibás működés felderítése. Nem véletlen, hogy még a divatos, csak futásidejű típusellenőrzéssel rendelkező nyelvek is erősen típusosak (pl. Python, Ruby)...