static-type-checking