Az a nyelv, amelyben minden változó, kifejezés vagy függvény típusa a fordítás előtt vagy futás közben van meghatározva, és a fordító vagy a futtatókörnyezet szigorúan ellenőrzi a típusok megfelelőségét műveletek során. Ez megelőzi a típusok közötti inkompatibilitásokkal kapcsolatos hibákat a fejlesztés korábbi szakaszaiban.

Korábbi Következő