- 1
-  Entre [-230,230-1]
sur les machines 32bits et entre [-262,262-1] sur les machines
64 bits
- 2
-  Le nombre
flottant qui m × 10n est représenté avec une mantisse m de
53 bits et un exposant n dans l'intervalle [-1022,1023].
- 3
-  Not a Number
- 4
-  Le module List est présenté page
??.
- 5
-  Heureusement puisque le nombre de types n'a de
limitation que la mémoire de la machine
- 6
-  Certaines
fonctions prédéfinies ne respectent pas cette règle, en
particulier la fonction d'égalité structurelle (=) qui
est polymorphe (son type est 'a -> 'a -> bool)
 mais qui explore la structure de ses arguments pour tester leur
égalité.