Taula de continguts:
Definició: què significa Tipus d’Inferència?
La inferència de tipus és la deducció automàtica dels tipus de dades d’expressions específiques en un llenguatge de programació, generalment fetes en un moment de compilació. Es tracta d’analitzar un programa i després inferir els diferents tipus d’algunes o totes les expressions d’aquest programa de manera que el programador no necessita introduir i definir explícitament els tipus de dades cada vegada que s’utilitzen variables al programa.Techopedia explica Tipus d’inferència
La inferència de tipus és sovint una característica del compilador dels llenguatges de programació funcionals més que no pas dels orientats a objectes. El compilador o intèrpret només necessita informació mínima i context per descobrir quin és el tipus de dades d’una variable o expressió.
L’algoritme d’inferència intenta determinar els tipus d’argument i el tipus de valor de retorn i, a continuació, intenta trobar el tipus de dades més específic que funcioni amb tots els arguments. Com a exemple bàsic, considerem la funció Foo (a, b) = x + y; el compilador sap que l'operador "+" pren dos nombres enters i també retorna un nombre enter, de manera que ara el compilador o intèrpret pot inferir que Foo també té el tipus enter.
