{"version":"1.0","type":"link","title":"Type inference - Newikis","description":"In type theory, type inference (sometimes called type reconstruction) is the automatic detection of the type of an expression. These include programming languages and mathematical type systems, but also natural languages in some branches of computer science and linguistics.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}