Αποτελέσματα αναζήτησης

Στις [[γλώσσες προγραμματισμού]] και στη [[θεωρία τύπων]], ο '''παραμετρικός πολυμορφισμός''' είναι ένας τρόπος να κάνουμε μια γλώσσα πιο εκφραστική, διατηρώντας ταυτ ...νάλογα με τον τύπο των παραμέτρων στις οποίες εφαρμόζεται. Ως εκ τούτου, ο πολυμορφισμός ad-hoc polymorphism μπορεί γενικά να υποστηρίξει μόνο έναν περιορισμένο αρι ...

...ων τύπων. Ως εκ τούτου, το Σύστημα F αποτελεί φορμαλισμό της έννοιας του [[Πολυμορφισμός|παραμετρικού πολυμορφισμού]] στις [[γλώσσες προγραμματισμού]], και μια θεωρ [[Κατηγορία:Πολυμορφισμός (υπολογιστές)]] ...

...ται ως '''ακάθαρτη''' συναρτησιακή γλώσσα, επειδή επιτρέπει [[παρενέργεια (υπολογιστές)|παρενέργειες]], και επομένως [[διαδικαστικός προγραμματισμός|διαδικαστικό ...ιση μνήμης με [[συλλέκτης απορριμάτων|συλλογή απορριμάτων]], παραμετρικό [[πολυμορφισμός|πολυμορφισμό]], [[στατικός τύπος|στατικούς]] [[σύστημα τύπων|τύπους]], [[εξ ...

...ιώσεις τύπων. Σε πολύπλοκες περιπτώσεις προγραμματισμού υψηλής τάξης και [[πολυμορφισμός|πολυμορφισμού]], δεν είναι πάντα δυνατό ο μεταγλωττιστής να εξάγει όλη την [[Κατηγορία:Λογική για Υπολογιστές]] ...

Όλα τα δεδομένα στους υπολογιστές που βασίζονται σε ψηφιακά ηλεκτρονικά κυκλώματα αναπαρίστανται ως [[bit]] ( ...ψευδές]]. Παρότι μόνο δύο τιμές είναι πιθανές, σπάνια αναπαρίστανται στους υπολογιστές με ένα μόνο δυαδικό ψηφίο για λόγους αποδοτικότητας. Πολλές γλώσσες προγραμ ...