Ένας τύπος μονάδας είναι ένα ADT που έχει ακριβώς μία δυνατή τιμή . Η ADT έχει μόνο την τιμή 1 , και είναι ένα πρωτόγονο είδος μονάδας . Το σύμβολο αυτής της ADT είναι επίσης ο αριθμός 1 .
Εικόνων προϊόντων Λειτουργίας
Η
Μια λειτουργία του προϊόντος εκφράζει την ιδέα του προϊόντος ενός τύπου δεδομένων "Α" και ένα στοιχείο του τύπου δεδομένων "Β" , έτσι ώστε το σύνολο των δεδομένων περιέχει ένα στοιχείο του καθενός . Το σύμβολο για τη λειτουργία του προϊόντος είναι ένας κύκλος με ένα "Χ " στο κέντρο που μοιάζει με ένα σύμβολο του πολλαπλασιασμού .
Η Sum Επιχειρήσεων
Η
Το σύμβολο για πράξεις άθροισμα εμφανίζεται ως ένας κύκλος με ένα σύμβολο συν στη μέση . Παρόμοια με τις πράξεις του προϊόντος , αποτελεί το άθροισμα των δύο τύπων δεδομένων "Α" και "Β" με κάθε τύπο δεδομένων εκπροσώπησή τους στα νέα δεδομένα που
εικόνων Λειτουργίες Τύπος: . = Και :: =
λειτουργίες Type είναι ο τέταρτος και πέμπτος τύπος των αλγεβρικών τύπων δεδομένων . Επιτρέπουν σε έναν χρήστη να δημιουργήσει επαναχρησιμοποιήσιμων τύπων . Μια συνάρτηση τύπος με το σύμβολο " :: =" σημαίνει ότι το διάλυμα πρέπει να είναι ίση με το ένα το άλλο και δεν υπάρχουν άλλες δυνατότητες. Ωστόσο , το σύμβολο " : = " σημαίνει ότι η λύση είναι ίσα, αλλά δεν είναι η μόνη δυνατότητα
Η
εικόνων .
Πνευματικά δικαιώματα © Γνώση Υπολογιστών Όλα τα δικαιώματα κατοχυρωμένα