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
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
|
<!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>VesaKarvonen</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>VesaKarvonen</h1>
</div>
<div id="content">
<div id="preamble">
<div class="sectionbody">
<div class="paragraph"><p>Vesa Karvonen is a student at the <a href="http://www.cs.helsinki.fi/index.en.html">University of Helsinki</a>.
His interests lie in programming techniques that allow complex programs to be expressed
clearly and concisely and the design and implementation of programming languages.</p></div>
<div class="imageblock" style="text-align:center;">
<div class="content">
<img src="VesaKarvonen.attachments/vesa-in-mlton-t-shirt.jpg" alt="VesaKarvonen.attachments/vesa-in-mlton-t-shirt.jpg">
</div>
</div>
<div class="paragraph"><p>Things he’d like to see for SML and hopes to be able to contribute towards:</p></div>
<div class="ulist"><ul>
<li>
<p>
A practical tool for documenting libraries. Preferably one that is
based on extracting the documentation from source code comments.
</p>
</li>
<li>
<p>
A good IDE. Possibly an enhanced SML mode (<span class="monospaced">esml-mode</span>) for Emacs.
Google for <a href="http://www.google.com/search?&q=SLIME+video">SLIME video</a> to
get an idea of what he’d like to see. Some specific notes:
</p>
<div class="openblock">
<div class="content">
<div class="ulist"><ul>
<li>
<p>
show type at point
</p>
</li>
<li>
<p>
robust, consistent indentation
</p>
</li>
<li>
<p>
show documentation
</p>
</li>
<li>
<p>
jump to definition (see <a href="EmacsDefUseMode">EmacsDefUseMode</a>)
</p>
</li>
</ul></div>
</div></div>
<div class="paragraph"><p><a href="EmacsBgBuildMode">EmacsBgBuildMode</a> has also been written for working with MLton.</p></div>
</li>
<li>
<p>
Documented and cataloged libraries. Perhaps something like
<a href="http://www.boost.org">Boost</a>, but for SML libraries. Here is a partial
list of libraries, tools, and frameworks Vesa is or has been working
on:
</p>
<div class="openblock">
<div class="content">
<div class="ulist"><ul>
<li>
<p>
Asynchronous Programming Library (<a href="https://github.com/MLton/mltonlib/blob/master/com/ssh/async/unstable/README"><span class="monospaced">README</span></a>)
</p>
</li>
<li>
<p>
Extended Basis Library (<a href="https://github.com/MLton/mltonlib/blob/master/com/ssh/extended-basis/unstable/README"><span class="monospaced">README</span></a>)
</p>
</li>
<li>
<p>
Generic Programming Library (<a href="https://github.com/MLton/mltonlib/blob/master/com/ssh/generic/unstable/README"><span class="monospaced">README</span></a>)
</p>
</li>
<li>
<p>
Pretty Printing Library (<a href="https://github.com/MLton/mltonlib/blob/master/com/ssh/prettier/unstable/README"><span class="monospaced">README</span></a>)
</p>
</li>
<li>
<p>
Random Generator Library (<a href="https://github.com/MLton/mltonlib/blob/master/com/ssh/random/unstable/README"><span class="monospaced">README</span></a>)
</p>
</li>
<li>
<p>
RPC (Remote Procedure Call) Library (<a href="https://github.com/MLton/mltonlib/blob/master/org/mlton/vesak/rpc-lib/unstable/README"><span class="monospaced">README</span></a>)
</p>
</li>
<li>
<p>
<a href="http://www.libsdl.org/">SDL</a> Binding (<a href="https://github.com/MLton/mltonlib/blob/master/org/mlton/vesak/sdl/unstable/README"><span class="monospaced">README</span></a>)
</p>
</li>
<li>
<p>
Unit Testing Library (<a href="https://github.com/MLton/mltonlib/blob/master/com/ssh/unit-test/unstable/README"><span class="monospaced">README</span></a>)
</p>
</li>
<li>
<p>
Use Library (<a href="https://github.com/MLton/mltonlib/blob/master/org/mlton/vesak/use-lib/unstable/README"><span class="monospaced">README</span></a>)
</p>
</li>
<li>
<p>
Windows Library (<a href="https://github.com/MLton/mltonlib/blob/master/com/ssh/windows/unstable/README"><span class="monospaced">README</span></a>)
</p>
</li>
</ul></div>
</div></div>
</li>
</ul></div>
<div class="paragraph"><p>Note that most of these libraries have been ported to several <a href="StandardMLImplementations">SML implementations</a>.</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>
|
