http://coderwiki.org/index.php?action=history&feed=atom&title=Type_inference 2026-05-19T02:45:36Z Revision history for this page on the wiki MediaWiki 1.44.0 http://coderwiki.org/index.php?title=Type_inference&diff=98&oldid=prev 2025-08-14T21:37:19Z

<p>new: info, example</p> <p><b>New page</b></p><div>Some [[Programming language|programming languages]] can &#039;&#039;&#039;infer&#039;&#039;&#039; the [[data type]] of a [[variable]] based on the [[value]] that was assigned to the [[variable]].<br /> <br /> Importantly, this &#039;&#039;&#039;does not&#039;&#039;&#039; mean the value is &#039;&#039;&#039;untyped&#039;&#039;&#039; (like in [[dynamic typing]]), just that we don&#039;t need to specify the type because the [[compiler]] or [[interpreter]] can &#039;guess&#039; the type.<br /> <br /> == Example of type inference ==<br /> Below is an example of type inference in the [[Rust]] programming language. The two code snippets below are equivalent:&lt;syntaxhighlight lang=&quot;rust&quot;&gt;<br /> let x = 17;<br /> let x: i32 = 17;<br /> &lt;/syntaxhighlight&gt;Many other [[Programming language|programming languages]] have this features, such as [[C]] with its &#039;[[C auto|auto]]&#039; [[keyword]].</div>

Dylan