Ονομαστικό σύστημα τύπων: Διαφορά μεταξύ των αναθεωρήσεων
Ggia (συζήτηση | συνεισφορές) Νέα σελίδα: Στην επιστήμη των υπολογιστών ένα '''ονομαστικό σύστημα τύπων''' (Αγγλικά: ''Nominal... |
(Καμία διαφορά)
|
Έκδοση από την 12:28, 14 Δεκεμβρίου 2014
Στην επιστήμη των υπολογιστών ένα ονομαστικό σύστημα τύπων (Αγγλικά: Nominal type system) είναι μια βασική ομάδα του συστήματος τύπων όπου η ισότητα και η συμβατότητα μεταξύ τύπων δεδομένων καθορίζεται με τις ρητές δηλώσεις κατά τον ορισμό των ονομάτων των τύπων. Δύο τύποι είναι ισοδύναμοι εάν έχουν το ίδιο όνομα τύπου στο ίδιο πλαίσιο/συμφραζόμενα. Στο ονομαστικό σύστημα τύπων δύο τύποι που έχουν την ίδια δομή αλλά διαφορετικό όνομα τύπου θεωρούνται διαφορετικοί τύποι. Τα συστήματα τύπων χρησιμοποιούνται για να καθοριστούν αν δύο τύποι είναι ισοδύναμοι ή αν ένας τύπος είναι υποτύπος (Αγγλικά: subtype) από κάποιον άλλον. Σε αντίθεση τα δομημένα συστήματα τύπων, δύο τύποι είναι ισοδύναμοι εάν έχουν την ίδια δομή και δεν χρειάζεται να έχουμε ρητή δήλωση ίδιου ονόματος τύπου. [1] [2]
Παραπομπές
- ↑ Gil, Yossi. «Nominal vs. Structural Type Systems» (PDF). Israel Institute of Technology. Ανακτήθηκε στις 14 Δεκεμβρίου 2014.
- ↑ (ed.), Boris Magnusson (2002). ECOOP 2002 - object-oriented programming 16th European Conference, Málaga, Spain, June 2002 : proceedings. Berlin: Springer. σελ. 474. ISBN 3-540-43759-2.