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é.