Поддерживает ли какой-либо язык программирования определение ограничений для примитивных типов данных?

Вчера вечером я подумал, что языки программирования могут иметь функцию, в которой мы должны иметь возможность ограничивать значения, присваиваемые примитивным типам данных.

Например, я должен можно сказать, что моя переменная типа int может иметь значение только от 0 до 100

int<0, 100> progress;

Тогда это будет действовать как обычное целое число во всех сценариях, за исключением того факта, что вы не сможете указывать значения вне диапазона, определенного в ограничение. Компилятор не скомпилирует код progress = 200 . Это ограничение может быть перенесено с информацией о типе.

Возможно ли это? Это сделано на каком-либо языке программирования?Если да, то на каком языке он есть и как называется этот метод?