- 1
- In the interval
[-230,230-1] on 32-bit machines and in the interval
[-262,262-1] on 64-bit machines
- 2
- The floating point number m × 10n is
represented with a 53-bit mantissa m and an exponent n in the interval
[-1022,1023].
- 3
- Not a Number
- 4
- The List module is presented on page
??.
- 5
- Fortunately since the number of types is only limited by
machine memory
- 6
- Some predefined functions do not obey this
rule, in particular the structural equality function (=) which is
polymorphic (its type is 'a -> 'a -> bool) but which explores the
structure of its arguments to test their equality.
- 7
- Translator's note: In Molière's play Le
Bourgeois Gentilhomme (The Bourgeois Gentleman), the character Mr.
Jourdain is amazed to discover that he has been speaking prose all his
life. The play can be found at
Link
http://www.site-moliere.com/pieces/bourgeoi.htm
and
Link
http://moliere-in-english.com/bourgeois.html
gives an excerpt
from an English translation, including this part.
- 8
- Translator's note: The rules for French Tarot
can be found, for example, at
Link
http://www.pagat.com/tarot/frtarot.html
- 9
- Translator's note: Thanks to the new ``polymorphic
variants'' feature of Objective CAML 3.00, some other sum types can now be
extended as well