http://coderwiki.org/index.php?action=history&feed=atom&title=Static_typing 2026-05-19T03:45:24Z Revision history for this page on the wiki MediaWiki 1.44.0 http://coderwiki.org/index.php?title=Static_typing&diff=81&oldid=prev 2025-08-12T21:25:17Z

<p>info, type inference</p> <p><b>New page</b></p><div>One of the ways we can group together [[Programming language|programming languages]] is with these two groups:<br /> <br /> * &#039;&#039;&#039;Statically-typed&#039;&#039;&#039; programming languages<br /> * [[Dynamic typing|&#039;&#039;&#039;Dynamically-typed&#039;&#039;&#039; programming languages]]<br /> <br /> &#039;&#039;Static&#039;&#039; typing is where we explicitly give every [[variable]] and [[field]] a [[data type]].<br /> <br /> == [[Type inference]] ==<br /> Sometimes, it is possible for the [[compiler]] or [[interpreter]] to &#039;guess&#039; the [[data type]] of a [[variable]].<br /> <br /> This doesn&#039;t mean it has &#039;&#039;&#039;no [[Data type|type]]&#039;&#039;&#039; (it&#039;s not [[Dynamic typing|dynamic]]), it&#039;s just that we don&#039;t have to explicitly mention the type. The [[variable]] still has a [[Data type|type]], and we can&#039;t [[Assignment|overwrite]] it with a value of a different [[data type]].<br /> <br /> For example, this code in [[C]] will make &lt;code&gt;x&lt;/code&gt; an [[integer]], even though we don&#039;t specifically mention it:&lt;syntaxhighlight lang=&quot;c&quot;&gt;<br /> auto x = 17;<br /> &lt;/syntaxhighlight&gt;The code above is internally translated to:&lt;syntaxhighlight lang=&quot;c&quot;&gt;<br /> int x = 17;<br /> &lt;/syntaxhighlight&gt;The [[C auto|C auto keyword]] is not the cleanest way of doing [[type inference]]. In Rust, variables are declared using the [[Rust let|let keyword]], and you can optionally specify a type &#039;&#039;on top of that&#039;&#039;.</div>

Dylan