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

Компании, где спрашивали

СБЕР