static type-checking