LINUX.ORG.RU

История изменений

Исправление monk, (текущая версия) :

В большинстве (да во всех почти) используемых в промышленности статически типизированных языков нет типа «целое число от 0 до 255»

byte есть практически везде.

И даже если нужен «целое число от 0 до 300», то везде легко строится через что-то типа

makeInt0_300 :: Int -> Maybe Int0_300
makeInt0_300 x = if x >= 0 && x <= 300 then Just (Int0_300 x) else Nothing

Исходная версия monk, :

В большинстве (да во всех почти) используемых в промышленности статически типизированных языков нет типа «целое число от 0 до 255»

byte есть практически везде.

И даже если нужен «целое число от 0 до 300», то везде легко строится через что-то типа

makeInt0_300 :: Int -> Maybe Int0_300
makeInt0_300 x = if x >= 0 && x <= 300 then Just Int0_300 x else Nothing