Πίνακας περιεχομένων:
- Ορισμός - Τι σημαίνει ο παραμετρικός πολυμορφισμός;
- Η τεχνολογία εξηγεί τον παραμετρικό πολυμορφισμό
Ορισμός - Τι σημαίνει ο παραμετρικός πολυμορφισμός;
Ο παραμετρικός πολυμορφισμός είναι μια τεχνική γλώσσας προγραμματισμού που επιτρέπει τον γενικό ορισμό των λειτουργιών και των τύπων, χωρίς πολύ μεγάλη ανησυχία για τυποποιημένα σφάλματα. Επιτρέπει στη γλώσσα να είναι πιο εκφραστική ενώ γράφει γενικό κώδικα που ισχύει για διάφορους τύπους δεδομένων. Οι λειτουργίες που γράφονται στο πλαίσιο του παραμετρικού πολυμορφισμού λειτουργούν σε διάφορους τύπους δεδομένων.
Η τεχνολογία εξηγεί τον παραμετρικό πολυμορφισμό
Ο παραμετρικός πολυμορφισμός είναι η βασική αρχή πίσω από τις γενικές γλώσσες και δομές προγραμματισμού. Επιτρέπει τη δημιουργία γενικών λειτουργιών και τύπων δεδομένων που λειτουργούν σε τιμές, ανεξάρτητα από τον τύπο δεδομένων.
Για παράδειγμα, αν μια λειτουργία προγραμματισμού λειτουργεί σε δύο διαφορετικές τιμές, οι τιμές μπορεί να είναι προσαρτημένες, παρόλο που δεν έχουν τους ίδιους τύπους δεδομένων. Ένα παράδειγμα είναι η προσθήκη μιας λίστας ακεραίων με μια τιμή κυμαινόμενου σημείου.
Οι Ada, Haskell, Visual Prolog, Scala, Java και C # είναι γλώσσες προγραμματισμού που υποστηρίζουν παραμετρικό πολυμορφισμό.
