</p>

<p>See
<a href="../features/functions-and-methods/input.html">the discussion on input validation</a>
for more detail.</p>

<h3 id='prefer-static-enforcement-of-guarantees-fixme-needs-rfc' class='section-header'><a href='#prefer-static-enforcement-of-guarantees-fixme-needs-rfc'>Prefer static enforcement of guarantees. <strong>[FIXME: needs RFC]</strong></a></h3>
<p>Static enforcement provides two strong benefits over dynamic enforcement:</p>

<ul>
<li>Bugs are caught at compile time.</li>
<li>There is 