<?xml version="1.0" encoding='utf-8'?>
<!DOCTYPE wml PUBLIC "-//WAPFORUM//DTD WML 1.1//EN" "http://www.wapforum.org/DTD/wml_1.1.xml">
<wml>
<card id="card1" title="Type inference - Page 17 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=type_inference&amp;p=16">1.Previous</a><br />
<a accesskey="3" href="page.php?w=type_inference&amp;p=18">3.Next</a>
</p>
<p>only at run-time, these languages are <a href="page.php?w=dynamically_typed">dynamically typed</a>. In other languages, the type of an expression is known only at <a href="page.php?w=compile_time">compile time</a>; these languages are <a href="page.php?w=statically_typed">statically typed</a>. In most statically typed languages, the input and output types of functions and <a href="page.php?w=local_variable">local variable</a>s ordinarily must be explicitly provided by type annotations. For example, in <a href="page.php?w=ANSI_C">ANSI C</a>:<syntaxhighlight lang="c">int increment(int x) {    int result; // declare integer result</syntaxhighlight></p><p>
<a accesskey="1" href="page.php?w=type_inference&amp;p=16">1.Previous</a><br />
<a accesskey="3" href="page.php?w=type_inference&amp;p=18">3.Next</a>
</p>

<do type="prev" label="Search">
        <go href="search.wml"/>
</do>

</card>
</wml>
