?</em>.</p>
<p>There are two “schools” about this:</p>
<ul>
<li>
<p>the <em>typing à la Curry</em> school</p>
</li>
<li>
<p>the <em>typing à la Church</em> school</p>
</li>
</ul>
<p>In the Curry school, the idea is to consider the untyped terms, and try <em>a posteriori</em> to classify them according to their type. There is the underlying idea of <em>type reconstruction</em> behind Curry typing. Curry-typing is a very important principle in statically-typed functional programming languages. For examp