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