erősen típusos nyelv: minden adatelem típusát előre definiálni kell, valamint folyamatos típusellenőrzés van a programon belül fordításkor (valamint futáskor).