http://wiki.karljones.com/index.php?action=history&feed=atom&title=ML_%28programming_language%29 2026-10-23T13:28:28Z Revision history for this page on the wiki MediaWiki 1.24.2 http://wiki.karljones.com/index.php?title=ML_(programming_language)&diff=17744&oldid=prev 2016-09-04T14:59:26Z

<p>‎<span dir="auto"><span class="autocomment">See also</span></span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 14:59, 4 September 2016</td> </tr><tr><td colspan="2" class="diff-lineno">Line 14:</td> <td colspan="2" class="diff-lineno">Line 14:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [[Functional programming]]</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [[Functional programming]]</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* <del class="diffchange diffchange-inline">[</del>[[Lisp (programming language)]]</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* [[Lisp (programming language)]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>== External links ==</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>== External links ==</div></td></tr> </table>

Karl Jones http://wiki.karljones.com/index.php?title=ML_(programming_language)&diff=17734&oldid=prev 2016-09-04T14:37:19Z

<p>Created page with &quot;&#039;&#039;&#039;ML&#039;&#039;&#039; is a general-purpose <a href="/index.php/Functional_programming" title="Functional programming">functional programming language</a> developed by <a href="/index.php?title=Robin_Milner&amp;action=edit&amp;redlink=1" class="new" title="Robin Milner (page does not exist)">Robin Milner</a> and others in the early 1970s at the University of Edinb...&quot;</p> <p><b>New page</b></p><div>'''ML''' is a general-purpose [[Functional programming|functional programming language]] developed by [[Robin Milner]] and others in the early 1970s at the University of Edinburgh, whose syntax is inspired by ISWIM.<br /> <br /> == Description ==<br /> <br /> It has roots in the [[Lisp (programming language)|LISP]] programming language, and has been characterized as &quot;LISP with types&quot;.<br /> <br /> Historically, ML stands for MetaLanguage: it was conceived to develop proof tactics in the LCF theorem prover (whose language, pplambda, a combination of the first-order predicate calculus and the simply-typed polymorphic lambda calculus, had ML as its metalanguage).<br /> <br /> It is known for its use of the Hindley–Milner type system, whose type inference algorithm can automatically assign the types of most expressions without requiring explicit type annotations. <br /> <br /> Additionally, the use of this algorithm ensures type safety—there is a formal proof that a well-typed ML program does not cause runtime type errors.<br /> <br /> == See also ==<br /> <br /> * [[Functional programming]]<br /> * [[[Lisp (programming language)]]<br /> <br /> == External links ==<br /> <br /> * [https://en.wikipedia.org/wiki/ML_(programming_language) ML (programming language)] @ Wikipedia.org <br /> <br /> <br /> [[Category:Computer programming]]</div>

Karl Jones