Import Upstream version 20180207
[hcoop/debian/mlton.git] / doc / guide / localhost / Drawbacks
... / ...
CommitLineData
1<!DOCTYPE html>\r
2<html lang="en">\r
3<head>\r
4<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">\r
5<meta name="generator" content="AsciiDoc 8.6.9">\r
6<title>Drawbacks</title>\r
7<link rel="stylesheet" href="./asciidoc.css" type="text/css">\r
8<link rel="stylesheet" href="./pygments.css" type="text/css">\r
9\r
10\r
11<script type="text/javascript" src="./asciidoc.js"></script>\r
12<script type="text/javascript">\r
13/*<![CDATA[*/\r
14asciidoc.install();\r
15/*]]>*/\r
16</script>\r
17<link rel="stylesheet" href="./mlton.css" type="text/css">\r
18</head>\r
19<body class="article">\r
20<div id="banner">\r
21<div id="banner-home">\r
22<a href="./Home">MLton 20180207</a>\r
23</div>\r
24</div>\r
25<div id="header">\r
26<h1>Drawbacks</h1>\r
27</div>\r
28<div id="content">\r
29<div id="preamble">\r
30<div class="sectionbody">\r
31<div class="paragraph"><p>MLton has several drawbacks due to its use of whole-program\r
32compilation.</p></div>\r
33<div class="ulist"><ul>\r
34<li>\r
35<p>\r
36Large compile-time memory requirement.\r
37</p>\r
38<div class="paragraph"><p>Because MLton performs whole-program analysis and optimization,\r
39compilation requires a large amount of memory. For example, compiling\r
40MLton (over 140K lines) requires at least 512M RAM.</p></div>\r
41</li>\r
42<li>\r
43<p>\r
44Long compile times.\r
45</p>\r
46<div class="paragraph"><p>Whole-program compilation can take a long time. For example,\r
47compiling MLton (over 140K lines) on a 1.6GHz machine takes five to\r
48ten minutes.</p></div>\r
49</li>\r
50<li>\r
51<p>\r
52No interactive top level.\r
53</p>\r
54<div class="paragraph"><p>Because of whole-program compilation, MLton does not provide an\r
55interactive top level. In particular, it does not implement the\r
56optional <a href="BasisLibrary">Basis Library</a> function <span class="monospaced">use</span>.</p></div>\r
57</li>\r
58</ul></div>\r
59</div>\r
60</div>\r
61</div>\r
62<div id="footnotes"><hr></div>\r
63<div id="footer">\r
64<div id="footer-text">\r
65</div>\r
66<div id="footer-badges">\r
67</div>\r
68</div>\r
69</body>\r
70</html>\r