c typing). As a consequence, the lambda-calculus embedded in Clojure is itself of an <em>untyped</em> nature.</p>
<p>The expression <code>(fn [x] x)</code> does not contains any explicit (nor implicit) type information. Moreover, the Clojure compiler does not perform any type-checking when encoutering such an expression.</p>
<p>From a logical perspective, the question <em>Why types?</em> is also a debate but as far as the lambda-calculus is concerned, the question is more of the kind: <em>What kind of types