statikus típusellenőrzés