Question

I presume that in Standard ML :

• int is 32 bit on 32bit linux

On 64 bit linux is int also 32 bit? Furthermore is there a place (url) where the size of different datatypes is outlined, for Standard ML? Thanks

Answer 1

You can use Int.precision to determine the size of the built in Int type.

The sizes of the Int type isn’t language defined, but implementation defined, so the answer you’re looking for depends on your choice of compiler/interpreter.

Moscow ML provides 31-bit integers on 32 bit machines and 63-bit integers on 64-bit machines, for instance.^(source)

Note that many implementations provide several int types, some of which may be arbitrary precision. For each of these, a corresponding precision function will exist to tell you the precision provided by that given type.