n, and reasoning … also using the lambda-calculus. This is the famous <em>Curry-Howard correspondance</em>.</p>
<h3><a href="#to-type-or-not-to-type-that-is-not-the-question" id="to-type-or-not-to-type-that-is-not-the-question"></a>To type or not to type, that is (not) the question</h3>
<p>The question <em>Why types?</em> is one of the great debates about programming. Clojure programmers obviously made a choice of relying on types at runtime (a.k.a. dynamic typing) instead of at compile-time (a.k.a. stati