1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
|
<!DOCTYPE html>
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="generator" content="AsciiDoc 8.6.8">
<title>MLtonLibraryProject</title>
<link rel="stylesheet" href="./asciidoc.css" type="text/css">
<link rel="stylesheet" href="./pygments.css" type="text/css">
<script type="text/javascript" src="./asciidoc.js"></script>
<script type="text/javascript">
/*<![CDATA[*/
asciidoc.install();
/*]]>*/
</script>
<link rel="stylesheet" href="./mlton.css" type="text/css"/>
</head>
<body class="article">
<div id="banner">
<div id="banner-home">
<a href="./Home">MLton 20130715</a>
</div>
</div>
<div id="header">
<h1>MLtonLibraryProject</h1>
</div>
<div id="content">
<div id="preamble">
<div class="sectionbody">
<div class="paragraph"><p>We have a <a href="https://github.com/MLton/mltonlib">MLton Library repository</a>
that is intended to collect libraries.</p></div>
<div class="exampleblock">
<div class="content">
<div class="literalblock">
<div class="content monospaced">
<pre>https://github.com/MLton/mltonlib</pre>
</div></div>
</div></div>
<div class="paragraph"><p>Libraries are kept in the <span class="monospaced">master</span> branch, and are grouped according
to domain name, in the Java package style. For example,
<a href="VesaKarvonen">VesaKarvonen</a>, who works at <span class="monospaced">ssh.com</span>, has been putting code at:</p></div>
<div class="exampleblock">
<div class="content">
<div class="literalblock">
<div class="content monospaced">
<pre>https://github.com/MLton/mltonlib/tree/master/com/ssh</pre>
</div></div>
</div></div>
<div class="paragraph"><p><a href="StephenWeeks">StephenWeeks</a>, owning <span class="monospaced">sweeks.com</span>, has been putting code at:</p></div>
<div class="exampleblock">
<div class="content">
<div class="literalblock">
<div class="content monospaced">
<pre>https://github.com/MLton/mltonlib/tree/master/com/sweeks</pre>
</div></div>
</div></div>
<div class="paragraph"><p>A "library" is a subdirectory of some such directory. For example,
Stephen’s basis-library replacement library is at</p></div>
<div class="exampleblock">
<div class="content">
<div class="literalblock">
<div class="content monospaced">
<pre>https://github.com/MLton/mltonlib/tree/master/com/sweeks/basic</pre>
</div></div>
</div></div>
<div class="paragraph"><p>We use "transparent per-library branching" to handle library
versioning. Each library has an "unstable" subdirectory in which work
happens. When one is happy with a library, one tags it by copying it
to a stable version directory. Stable libraries are immutable — when
one refers to a stable library, one always gets exactly the same code.
No one has actually made a stable library yet, but, when I’m ready to
tag my library, I was thinking that I would do something like copying</p></div>
<div class="exampleblock">
<div class="content">
<div class="literalblock">
<div class="content monospaced">
<pre>https://github.com/MLton/mltonlib/tree/master/com/sweeks/basic/unstable</pre>
</div></div>
</div></div>
<div class="paragraph"><p>to</p></div>
<div class="exampleblock">
<div class="content">
<div class="literalblock">
<div class="content monospaced">
<pre>https://github.com/MLton/mltonlib/tree/master/com/sweeks/basic/v1</pre>
</div></div>
</div></div>
<div class="paragraph"><p>So far, libraries in the MLton repository have been licensed under
MLton’s <a href="License">License</a>. We haven’t decided on whether that will be a
requirement to be in the repository or not. For the sake of
simplicity (a single license) and encouraging widest use of code,
contributors are encouraged to use that license. But it may be too
strict to require it.</p></div>
<div class="paragraph"><p>If someone wants to contribute a new library to our repository or to
work on an old one, they can make a pull request. If people want to
work in their own repository, they can do so — that’s the point of
using domain names to prevent clashes. The idea is that a user should
be able to bring library collections in from many different
repositories without problems. And those libraries could even work
with each other.</p></div>
<div class="paragraph"><p>At some point we may want to settle on an <a href="MLBasisPathMap">MLBasisPathMap</a> variable
for the root of the library project. Or, we could reuse <span class="monospaced">SML_LIB</span>,
and migrate what we currently keep there into the library
infrastructure.</p></div>
</div>
</div>
</div>
<div id="footnotes"><hr></div>
<div id="footer">
<div id="footer-text">
</div>
<div id="footer-badges">
</div>
</div>
</body>
</html>
|
