"egy erősen statikusan típusos nyelv is rendelkezhet a gyengén típusos nyelvek előnyeivel"
Csak megjegyzem ez a mondat megint részben a két elterjedt felosztás keverése. (statikus-dinmikus típusellenőrzés, erősen-gyengén típusos)
1. Az hogy ki vannak-e írva típusnevek, az inkább a statikus-dinamikus vitában lenne érdekes (feljebb írtam is, hogy szerintem az sokkal flame alkalmasabb kérdés lenne pont az ilyesmi példák miatt;), ezzel mondjuk a Pythonnak, Rubynak lehetne odamondogatni (mindkettő erősen típusos): "lám egy statikus típus ellenőrzésű nyelv amiben ritkán kell típusokat deklarálni - pont mint a dinamikusokban általában"
2. Statikusan típusos nyelv is lehetne gyengén típusos (lásd a "C milyen" vitát), a típusokról fordításidejű információ van(statikus), de az sokszor kikerülhető vagy csak warningot kapsz