Documentation – In more expressive type systems, types can serve as a form of documentation clarifying the intent of the programmer.
Τεκμηρίωση – Στα πιο εκφραστικά συστήματα τύπων, οι τύποι μπορούν να είναι χρήσιμοι σαν μια μορφή τεκμηρίωσης, μιας και φανερώνουν τις προθέσεις του προγραμματιστή.