Τακτικοί τύποι
Οι τύποι integer, boolean και char ονομάζονται
τακτικοί τύποι (ordered types) διότι
ορίζονται σε πεπερασμένες διατεταγμένες ακολουθίες.
Στους τύπους αυτούς μπορούμε να ορίσουμε τις παρακάτω συναρτήσεις:
-  succ
 -  Επόμενη τιμή
 -  pred
 -  Προηγούμενη τιμή
 -  ord
 -  Σειρά στην ακολουθία