Можете ли объяснить, что подразумевается под статической типизацией в программировании?