Πίνακας περιεχομένων:
Ορισμός - Τι σημαίνει συμπέρασμα τύπου;
Ο τύπος συμπερασμάτων είναι η αυτόματη αφαίρεση των τύπων δεδομένων συγκεκριμένων εκφράσεων σε μια γλώσσα προγραμματισμού, που συνήθως γίνεται κατά το χρόνο σύνταξης. Περιλαμβάνει την ανάλυση ενός προγράμματος και στη συνέχεια την εξαγωγή των διαφορετικών τύπων μερικών ή όλων των εκφράσεων σε αυτό το πρόγραμμα, ώστε ο προγραμματιστής να μην χρειάζεται να εισάγει και να καθορίζει ρητά τους τύπους δεδομένων κάθε φορά που χρησιμοποιούνται μεταβλητές στο πρόγραμμα.Η Techopedia εξηγεί τη συμπερίληψη τύπου
Το σύμβολο τύπου είναι συχνά ένα χαρακτηριστικό μεταγλωττιστή των λειτουργικών γλωσσών προγραμματισμού και όχι των αντικειμενοστραφικών. Ο μεταγλωττιστής ή ο διερμηνέας χρειάζεται μόνο ελάχιστες πληροφορίες καθώς και περιβάλλον για να καταλάβει ποιος είναι ο τύπος δεδομένων μιας μεταβλητής ή μιας έκφρασης.
Ο αλγόριθμος συμπερασμάτων προσπαθεί να προσδιορίσει τους τύπους παραμέτρων καθώς και τον τύπο τιμής επιστροφής και στη συνέχεια προσπαθεί να βρει τον πιο συγκεκριμένο τύπο δεδομένων που λειτουργεί με όλα τα επιχειρήματα. Ως βασικό παράδειγμα, θεωρήστε τη συνάρτηση Foo (a, b) = x + y. ο μεταγλωττιστής γνωρίζει ότι ο χειριστής "+" παίρνει δύο ακέραιους αριθμούς και επίσης επιστρέφει έναν ακέραιο αριθμό, οπότε τώρα ο μεταγλωττιστής ή ο διερμηνέας μπορεί να συμπεράνει ότι ο Foo έχει επίσης τον ακέραιο τύπο.
