Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Type inference
open-in-new
<p>Type inference, sometimes called type reconstruction,: 320 refers to the automatic detection of the <a href="/facts/Type_(type_theory)/xj0xzVqI">type</a> of an expression in a <a href="/facts/Formal_language/crDTyP8q">formal language</a>. These include <a href="/facts/Programming_language/cWTYbgWa">programming languages</a> and mathematical <a href="/facts/Type_system/Tz0bAMS9">type systems</a>, but also <a href="/facts/Natural_languages/B4gLS7Kd">natural languages</a> in some branches of <a href="/facts/Computer_science/lN3pEyPz">computer science</a> and <a href="/facts/Linguistics/oQuamvf2">linguistics</a>. </p>