-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path2002.09.03.html
474 lines (368 loc) · 20 KB
/
2002.09.03.html
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
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
<html><body>
<a href="2002.08.20.html">Previous week</a> <a href="index.html">Up</a> <a href="2002.09.10.html">Next week</a>
<pre>
Hello,
Here is the latest Caml Weekly News, weeks 20 august to 3 september, 2002.
1) <a href="#1">OCaml 3.06 bug-fix release</a>
2) <a href="#2">LablGTK 1.2.5 and windows binaries</a>
3) <a href="#3">Announcing CIL: Infrastructure and tools for C program analysis and </a>
transformations
4) <a href="#4">Ocaml-Weblib?</a>
5) <a href="#5">OCamOLE pre.3 and OCam'OLE pre.3b</a>
6) <a href="#6">Music in Caml</a>
7) <a href="#7">Toplevel wrapper for OS X</a>
8) <a href="#8">SpamOracle</a>
9) <a href="#9">Cameleon 1.0</a>
10) <a href="#10">OCaml-Win32 release 0.02</a>
11) <a href="#11">Cash 0.20</a>
12) <a href="#12">ocamlgsl release</a>
13) <a href="#13">Data structure library</a>
14) <a href="#14">PXP 1.1.92 (development version)</a>
<a name="1"/>======================================================================
1) OCaml 3.06 bug-fix release
----------------------------------------------------------------------
Xavier Leroy announced:
A couple of embarrassing bugs crept into Objective Caml 3.05, so we've
just released version 3.06, available from the usual place:
<a href="http://caml.inria.fr/ocaml/distrib.html">http://caml.inria.fr/ocaml/distrib.html</a>
This is essentially a bug-fix release, with no new features. Users of
3.05 are strongly encouraged to upgrade to 3.06.
For general info on Objective Caml, see <a href="http://caml.inria.fr.">http://caml.inria.fr.</a> Bug
reports go to [email protected], messages for the implementors to
[email protected], and general discussions to the mailing-list
[email protected], or the comp.lang.ml or comp.lang.functional
newsgroups.
Enjoy,
- Xavier Leroy, for the Objective Caml team.
Objective Caml 3.06:
--------------------
Type-checking:
- Apply value restriction to polymorphic record fields.
Run-time system:
- Fixed GC bug affecting lazy values.
Both compilers:
- Added option "-version" to print just the version number.
- Fixed wrong dependencies in .cmi generated with the -pack option.
Native-code compiler:
- Fixed wrong return value for inline bigarray assignments.
Libraries:
- Unix.getsockopt: make sure result is a valid boolean.
Tools:
- ocamlbrowser: improved error reporting; small Win32 fixes.
Windows ports:
- Fixed two problems with the Mingw port under Cygwin 1.3.
<a name="2"/>======================================================================
2) LablGTK 1.2.5 and windows binaries
----------------------------------------------------------------------
Jacques Garrigue announced:
Since Objective Caml 3.06 was released, and it is not binary
compatible with 3.05, I have updated LablGTK and LablGL windows
binaries:
<a href="http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html">http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html</a>
<a href="http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgl.html">http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgl.html</a>
Note that lablgtk sources were also updated, the main goal being to
allow interactive use on windows: toplevel threads are supported
through a mechanism of call forwarding. For non-windows users, other
changes are only incremental.
<a name="3"/>======================================================================
3) Announcing CIL: Infrastructure and tools for C program analysis and
transformations
----------------------------------------------------------------------
George Necula announced:
We have released a stable version of CIL. It consists of a complete C
parser (both for ANSI C and also the GCC and Microsoft Visual C extensions),
pretty-printer and an intermediate language that hides most of the dark
corners of the C language. This allows you for example to implement a
Stackguard instrumentation for your programs in about 80 lines of code and
apply it to ugly code such as the Linux kernel modules. CIL can impersonate
both the GCC and MSVC compilers allowing you to use your existing Makefiles
and can also merge your entire program into one source file for a quick
whole-program analysis.
CIL has been tested on many millions of lines of code, including the Linux
kernel and GIMP.
More information, a manual, ocamldoc API documentation and the distribution
can be found at <a href="http://www.cs.berkeley.edu/~necula/cil.">http://www.cs.berkeley.edu/~necula/cil.</a>
<a name="4"/>======================================================================
4) Ocaml-Weblib?
----------------------------------------------------------------------
Oliver Bandel asked and Gerd Stolpmann answered:
> Hello,
>
> is there a Library for parsing/analysing Webpages?
>
> I want to write a tool, that helps me searching
> on websites, and I don't want to rewrite such a library from scratch.
>
> Is there something for Ocaml, similar (or even better :))
> like Web-/CGI-Libs for Perl?
You may have a look at ocamlnet, <a href="http://sourceforge.net/projects/ocamlnet.">http://sourceforge.net/projects/ocamlnet.</a>
It includes an HTML parser, and CGI support. For HTTP operations, netclient
<a href="http://www.ocaml-programming.de/programming/netclient.html">http://www.ocaml-programming.de/programming/netclient.html</a> may be helpful.
<a name="5"/>======================================================================
5) OCamOLE pre.3 and OCam'OLE pre.3b
----------------------------------------------------------------------
Nicolas Cannasse announced:
A new release of OCam'OLE is available at :
<a href="http://tech.motion-twin.com/ocamole">http://tech.motion-twin.com/ocamole</a>
- fixes a bug when using from the toplevel
- fixes a static interface generation bug with mixed guid / enum's
A precompiled DLL ( compatible with 3.04 to 3.06 ) is available for users
who does not have MSVC++ installed.
Nicolas Cannasse
------
OCam'OLE enable you to control remote COM objects with OCaml and is provided
with OLEGen, a program that generate ML/MLI static type interface from the
OLE Type Libraries.
The current distribution include a sample that demonstrate the combined
usage of OCam'OLE and OLEGen to enable the creation and the control of an MS
Excel sheet in a few lines of OCaml code.
then announced again:
Each new day comes with its new release of OCam'OLE :)
Alright, all discovered bugs have been fixed, please update it at :
<a href="http://tech.motion-twin.com/ocamole">http://tech.motion-twin.com/ocamole</a>
<a name="6"/>======================================================================
6) Music in Caml
----------------------------------------------------------------------
Diego Olivier Fernandez Pons remarked:
I found this surfing on the web :
The Ensemble Juke Box (EJB) is a distributed audio application
designed to exchange high-quality audio data bewteen users on local
area networks. The jukebox can read digital audio data from some cdrom
devices, and save it in files for later playback or play it directly
to an audio output device. This application makes use of the Ensemble
group communications system to connect multiple users on the network,
and to provide fault-tolerant behavior during network outages or
computer failures. EJB is a real-time system written in
Objective-Caml(a dialect of ML).
<a href="http://www.cs.caltech.edu/~jyh/ejb/index.html">http://www.cs.caltech.edu/~jyh/ejb/index.html</a>
<a name="7"/>======================================================================
7) Toplevel wrapper for OS X
----------------------------------------------------------------------
Steve Harris announced:
Here's a little GPL'ed OS X friendly (Cocoa) wrapper for the Ocaml
toplevel,
a lot like the Windows wrapper. Also supports saving and loading
session history as plain text ocaml source files. The toplevel itself
isn't included,
the program should ask for the path to the interpreter right away when
first run.
The link to the disk image is at
<a href="http://home.att.net/~scharris/OSX/">http://home.att.net/~scharris/OSX/</a>
(only way I could get the download to work is to use Explorer, right
click the link on that page and choose "save to disk" - sorry about
the crummy web page)
I've compiled it for OS X 10.2 (Jaguar), not sure what previous
versions of OS X it will work on.
The full ProjectBuilder project is included though so you should be
able to just hit "compile" from PB
to compile it yourself. I'd be interested to know if that doesn't work.
Bugs, patches, suggestions etc are welcome, send to
<a name="8"/>======================================================================
8) SpamOracle
----------------------------------------------------------------------
Xavier Leroy announced:
[ Spam filtering is rather off-topic for this list, but this tool is
written in OCaml, and needs adventurous users of the kind found on
this list to be tested... ]
Are you tired with spam messages cluttering your e-mail? Are you
retentive enough to have meticulously archived all this spam,
separately from your regular e-mail, in the hope that someday some
program might learn by example how to recognize spam -- something that
any human does in a fraction of second?
If so, rejoice! The time has come!
Introducing the Spam Oracle, a.k.a. "Saint Peter". From the README:
SpamOracle is a BiCapitalized tool to help detect and filter away "spam"
(unsolicited commercial e-mail). It proceeds by statistical analysis
of the words that appear in the e-mail, comparing the frequencies of
words with those found in a user-provided corpus of known spam and
known legitimate e-mail. The classification algorithm is based on
Bayes' formula, and is described in Paul Graham's paper, "A plan for
spam", <a href="http://www.paulgraham.com/spam.html.">http://www.paulgraham.com/spam.html.</a>
This program is designed to work in conjunction with procmail.
The result of the analysis is output as an additional message header
"X-Spam:", followed by "yes", "no" or "unknown", plus additional
details. A procmail rule can then test this "X-Spam:" header and
deliver the e-mail to the appropriate mailbox.
In addition, SpamOracle also also analyses MIME attachments,
extracting relevant information such as MIME type, character encoding
and attached file name, and summarizing them in an additional
"X-Attachments:" header. This allows procmail to easily reject
e-mails containing suspicious attachments, e.g. Windows executables
which often indicate a virus.
All for the incredibly low price of $0.00 ! But hurry -- it won't
last long! Grab your copy from
<a href="http://pauillac.inria.fr/~xleroy/software.html#spamoracle">http://pauillac.inria.fr/~xleroy/software.html#spamoracle</a>
This AMAZING product, based on college-level statistical theory less
than one century old, will just REVOLUTIONIZE your life! Or your
money back! But don't take my words for it! See the testimonials
from our happy customers! Xavier L., from Versailles: "What with all
these e-mails about V**gra, p*nis enlargement, and hot teen*ge sl*ts,
I just couldn't concentrate on writing quality software and research
papers. Your product just restored peace in my mailbox and in my
mind, too. Now, I can spend whole days watching my procmail log
and bursting into hysterical laughter every time another spam bites
the dust! Why, it feels so good, I think I'll subscribe to some of
these "one-time use" mailing lists JUST FOR FUN!"
<a name="9"/>======================================================================
9) Cameleon 1.0
----------------------------------------------------------------------
Maxence Guesdon announced:
I'm pleased to announce the release of Cameleon 1.0.
A lot of Changes for this new release, see the ChangeLog below.
A big change is that now all my development tools will
be maintained inside Cameleon, including the last born Epeire.
You can find Cameleon here:
<a href="http://www.maxence-g.net/Tools/">http://www.maxence-g.net/Tools/</a>
I will release a binary rpm for intel in the next days.
Comments are welcome.
Enjoy !
Maxence Guesdon
BTW, i just developed a tool to generate my software HTML pages.
It is available at the above url, and is called toolpage.
You can freely use it.
ChangeLog:
- cam-config added
- topcameleon, graphical toplevel, added, with cam-mktop
- omom added
- only one toolbar (horizontal), customizable
- graphical configuration of key bindings
- additional views can be defined in plug-ins
- new command cam-config to get the installation values in scripts
- new modules view (use a dump.odoc target and a dump.odoc file
in the selected directory to display the modules of the selected
directory)
- new window showing the list of available internal commands
(a double click on a command execute it)
- embedded apps in plugins
- choice of plugins to load in a nwe tab of the configuration window
- shared plugins and personal plugins
- a command (reload_plugin) to select a plug-in and reload it
- support of configure options to select where to install cameleon files
- Cameleon is now a set of tools and libs (zoggy, report, configwin, ...)
- configuration of fonts and colors
- configuration files file_types and doc moved to a common
configuration file core
- configuration file toolbar now moved into the file gui
- a 'make' plug-in added, and a new 'make' default menu added
- some new functions in Cam_plug (background_execute, ...)
- creation and installation of doc during the install process,
making doc on cameleon and the standard ocaml library available
in the doc browser when starting Cameleon for the first time
configwin 0.95:
- new parameter hotkey
zoggy 0.94:
- pixmap widgets are handled
- ask to save before exit if modified
- window#add_accel_group generated if possible
- better error messages when a value is missing
epeire 0.83:
- shortcuts in the code window to activate some menus of the main window
- memorize the positions and sizes of the windows
- new option -I (same as in the traditionnal ocamldebug)
<a name="10"/>======================================================================
10) OCaml-Win32 release 0.02
----------------------------------------------------------------------
Harry Chomsky announced:
I'm pleased to announce release 0.02 of OCaml-Win32, an OCaml library
providing direct access to the Win32 API. This is a major upgrade from
release 0.01, with many new features, but also some incompatibilities
involving how message handlers need to be written.
The library is made available under the LGPL license, at the following URL:
<a href="http://www.speakeasy.org/~hchomsky/ocaml-win32.html">http://www.speakeasy.org/~hchomsky/ocaml-win32.html</a>
<a name="11"/>======================================================================
11) Cash 0.20
----------------------------------------------------------------------
Bruno Verlyck announced:
I'm pleased to announce a new release of Cash, the Caml Shell.
* Release 0.20
What's new:
- Cash now compiles on Cygwin and OS with no support for dynamic
linking by Objective Caml;
- A complete tty/pty interface, covering Posix, SYSV and BSD;
- An emulation of string channels;
- Unbuffered I/O is fully working with Ocaml 3.05;
- Some bugs have been fixed, some examples added (in examples/).
Also added:
- write_string and its cousins;
- fork_with_pipe_plus (complex connections in pipes);
- call_with_input_file, call_with_output_file, call_with_fdes_fn
(Scheme compatibility);
- run_with_out_channel, run_with_outchan_plus_proc, and
run_with_chan_plus_proc becomes run_with_inchan_plus_proc.
For more information, see:
<a href="http://pauillac.inria.fr/cash/">http://pauillac.inria.fr/cash/</a>
Download the most recently distributed source:
ftp://ftp.inria.fr/INRIA/Projects/cristal/cash/cash.tar.gz
Stay in sync with latest development / bug fixes (CVS archive):
<a href="http://camlcvs.inria.fr/cgi-bin/cvsweb.cgi/cash/">http://camlcvs.inria.fr/cgi-bin/cvsweb.cgi/cash/</a>
Documentation:
<a href="http://pauillac.inria.fr/cash/latest/doc/doc.dvi">http://pauillac.inria.fr/cash/latest/doc/doc.dvi</a>
<a href="http://pauillac.inria.fr/cash/latest/doc/doc.ps">http://pauillac.inria.fr/cash/latest/doc/doc.ps</a>
<a href="http://pauillac.inria.fr/cash/latest/doc/index.html">http://pauillac.inria.fr/cash/latest/doc/index.html</a>
* What is Cash ?
Cash is a Caml implementation of (an as large as possible subset of) the
API of Scsh (0.5.3), the Scheme Shell by Olin Shivers. It's designed for
writing standalone Unix programs and shell scripts (but rather *not* for
interactive command use). It spans a wide range of application, from
"script" applications usually handled with perl or sh, to more standard
systems applications usually written in C.
* Bugs
Bug reports, comments, doc typos, and contributions are very welcome:
drop me a mail at [email protected].
<a name="12"/>======================================================================
12) ocamlgsl release
----------------------------------------------------------------------
Olivier Andrieu announced:
I'm releasing a wrapper for GSL, the GNU Scientific Library
<<a href="http://sources.redhat.com/gsl/>">http://sources.redhat.com/gsl/></a> . GSL is "a collection of routines
for numerical computing" : this includes random number generators,
random distributions, special functions, FFT, linear algebra,
numerical integration, multi-dimensional root-finding and
minimization, least-square fitting, etc.
The wrapper is fairly complete (but not overly tested). There's not
much documentation but the (very good) GSL documentation should be
enough for using it. The wrapper is synced with the current release of
GSL (1.2).
the wrapper :
<a href="http://oandrieu.nerim.net/ocaml/gsl/">http://oandrieu.nerim.net/ocaml/gsl/</a>
the GSL documentation :
<a href="http://sources.redhat.com/gsl/ref/gsl-ref_toc.html">http://sources.redhat.com/gsl/ref/gsl-ref_toc.html</a>
<a name="13"/>======================================================================
13) Data structure library
----------------------------------------------------------------------
Diego Olivier Fernandez Pons announced:
I put a prerelease of Edison data structure library for Caml in
www.ifrance.com/DiegoOlivierFernandezPons
I hope it will be usefull
I am afraid my port of FGL (functional graph library, Erwig) wont be
ready on time, anyway graphs are too regular for a generic library to
be really useful, you should better specialise usual graph algorithms
to the particular rectangular board graph.
Facile library could be useful too
And I think there will be at least one non-connexe graph map
<a name="14"/>======================================================================
14) PXP 1.1.92 (development version)
----------------------------------------------------------------------
Gerd Stolpmann announced:
there is a new development version of PXP: 1.1.92. This version
focuses on cleaning up the way lexers are generated. There is a new tool,
lexpp, that generates the lexers from only five files. Furthermore, much
more 8 bit character sets are now supported as internal encodings. In
previous versions of PXP, the internal representation of the XML trees was
restricted to either UTF-8 or ISO-8859-1. Now, a number of additional
encodings are supported, including the whole ISO-8859 series.
Bugfix: If the processing instruction <?xml...?> occurs in the middle of the
XML document, version 1.1.91 will immediately stop parsing, and ignore the
rest of the file. This is now fixed.
The new version can be found at the usual place:
<a href="http://www.ocaml-programming.de/packages/pxp-1.1.92.tar.gz">http://www.ocaml-programming.de/packages/pxp-1.1.92.tar.gz</a>
======================================================================
Old cwn
----------------------------------------------------------------------
If you happen to miss a cwn, you can send me a message
([email protected]) and I'll mail it to you. If you also wish to
receive it every week by mail, just tell me so.
======================================================================
Alan Schmitt
</pre></body></html>