<?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="ML (programming language) - Page 13 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=ML_(programming_language)&amp;p=12">1.Previous</a><br />
<a accesskey="3" href="page.php?w=ML_%28programming_language%29&amp;p=14">3.Next</a>
</p>
<p>that will accept the second, and so on. Recursive functions require  so the function name is in scope within its body. The syntax for an anonymous function is similar to lambda calculus, with  for lambda and  separating arguments from the expression:</p>

<p>Lists use semicolons between elements.  and  are built-in functions that return the head and tail;  is <a href="page.php?w=cons">cons</a> (prepend);  is append. Functions like  are polymorphic--ML uses generic type variables (, , etc.) to express this:</p>

<p><a href="page.php?w=Mutable_variable">Mutable variables</a></p><p>
<a accesskey="1" href="page.php?w=ML_(programming_language)&amp;p=12">1.Previous</a><br />
<a accesskey="3" href="page.php?w=ML_%28programming_language%29&amp;p=14">3.Next</a>
</p>

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

</card>
</wml>
