Notes
Author: Christian.Queinnec@lip6.fr

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