Javaban OS és CPU-független a típusok mérete. Egy int mindig 32 bites, egy long mindig 64 bites stb.
C#-ban (meg minden más Common Language Infrastructure nyelvben) OS és CPU-független a típusok mérete. Lásd System.Int32 és hasonló típusokat.
Haskellben eleve az Integer típus korlátlan.
Adaban meg te definiálod a típusokat, totálisan rendszerfüggetlenül.
És mégis statikusan, erősen típusos nyelvek ezek.
Te mondtad, hogy a típusos nyelvek alapból OS-függők, pedig ez nincs így.