[init1]

As far as I can tell you cannot create your own bounded Integer/Floating point types in any of the ML languages. That's one example of one of the core Ada type features. Most people have never experienced a type system like Ada and you will be surprised by how it helps you write higher quality software that is also more reliable.

[gwerbin]

F# has units, does it not support bounds on those units?

[cestith]

My CS classes at uni were based in Ada. I doubt I’ll be surprised.