Με γλώσσες προγραμματισμού που μπορούν να ανταλλάσσουν πληροφορίες μέσω συνήθως συμφωνηθείς σχετικά με τους ορισμούς και τα πρότυπα χρήσης για τους τύπους.