itt egy gyengén típusos nyelvről beszélünk, azaz típusok csak elméletben vannak
Ez az amiben nincs igazad. Minden referenciának pontosan ismert a típusa - futás időben, a hívás helyén. Ha nem így lenne, akkor nem működne a typeof, az instanceof vagy a strict equality.
akkor a végén annyi validálásra, manuális konverzióra, típusellenőrzésre és egyéb biztonsági mechanizmusra lesz szükség a nyelv baromságai miatt, hogy a végén tízszer annyi lesz a kód
Nem kell. Úgy kell megírni a kódot hogy mindig ismerd a referenciáid lehetséges típusát, és úgy alkalmazás az implicit/explicit típuskonverziókat hogy soha ne álljon elő nem definiált állapot. Nem állítom, hogy ez egyszerűbb, mint statikusan tipusos nyelven programozni, ezért is letezik a TypeScript.