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