Здравствуйте, Poopy Joe, Вы писали:

PJ>Будет кривой дизайн. "float от 0 до 5" что-то означает. Допустим размер. Вот и надо передавать тип SizeOfSomething,

Это мы только что ввели SizeOfSomething.NaS (not a size) и PositiveInfinity/NegativeInfinity? И пишем перегрузки операциий и компареров?

PJ>который сам заботится о своем инварианте.

И добавили проверки на null?

PJ>Такой код будет понятнее разработчику,

Это по классу то на дипазон?

PJ> не требует контрактов и прочих костылей и его невозможно сломать неверным вызовом, так как код будет контролироваться компилятором.

Переложили с больной головы на здоровую?

PJ> Если уж язык использует статическую типизацию, то надо пользоваться ее преимуществами.

Там где они действительно преимущества.