Pascal has subrange types -- you can declare a type that is 1..10 for example. Statically typed languages could be more strict and have more basic typing featu

Pascal has subrange types -- you can declare a type that is 1..10 for example. Statically typed languages could be more strict and have more basic typing features. In most languages, it's not even as good as units checking because you can't say numeric type X is incompatible with numeric type Y (e.g. Celsius and Fahrenheit).