Talaan ng mga Nilalaman:
Kahulugan - Ano ang ibig sabihin ng Type Inference?
Ang pag-iinteres ng uri ay ang awtomatikong pagbabawas ng mga uri ng data ng mga tukoy na expression sa isang wikang programming, na karaniwang ginagawa sa pag-compile ng oras. Ito ay nagsasangkot ng pagsusuri ng isang programa at pagkatapos ay inilarawan ang iba't ibang uri ng ilan o lahat ng mga expression sa program na iyon upang ang programista ay hindi kailangang tahasang mag-input at tukuyin ang mga uri ng data sa bawat oras na variable ay ginagamit sa programa.Ipinapaliwanag ng Techopedia ang Type Inference
Ang pag-iinteres ng uri ay madalas na isang tampok ng tagatala ng mga functional na wika ng programming kaysa sa mga bagay na nakatuon sa object. Ang compiler o tagasalin ay nangangailangan lamang ng kaunting impormasyon pati na rin ang konteksto upang malaman kung ano ang uri ng data ng isang variable o expression.
Sinusubukan ng algorithm ng pag-iintindi upang matukoy ang mga uri ng argumento pati na rin ang uri ng halaga ng pagbabalik at pagkatapos ay sinusubukan nitong hanapin ang pinaka-tukoy na uri ng data na gumagana sa lahat ng mga argumento. Bilang isang pangunahing halimbawa, isaalang-alang ang function na Foo (a, b) = x + y; alam ng tagatala na ang operator ng "+" ay tumatagal ng dalawang integer at nagbabalik din ng isang integer, kaya't ngayon ay maaaring maghinala ang tagatala o tagasalin na si Foo ay mayroon ding uri ng integer.
