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