-
Notifications
You must be signed in to change notification settings - Fork 0
/
2002.02.05.html
266 lines (195 loc) · 10.5 KB
/
2002.02.05.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
<html><body>
<a href="2002.01.29.html">Previous week</a> <a href="index.html">Up</a> <a href="2002.02.12.html">Next week</a>
<pre>
Hello,
Here is the latest Caml Weekly News, week 30 january to 05 february,
2002.
Summary:
1) <a href="#1">otags-3.04.3</a>
2) <a href="#2">IoXML - OCaml from/to XML</a>
3) <a href="#3">IoXML goes on...</a>
4) <a href="#4">ocamlnet-0.92 has been released</a>
5) <a href="#5">OCamlCVS 1.1</a>
6) <a href="#6">OCamlAgrep 1.0 (string searching with errors)</a>
<a name="1"/>======================================================================
1) otags-3.04.3
----------------------------------------------------------------------
Jean-Francois Monin announced:
New version of otags, with better handling of classes
and mutual recursive types.
Thanks : Hendrik Tews
<a href="http://www.multimania.com/moninjf/Ocaml/otags-3.04.3.tar.gz">http://www.multimania.com/moninjf/Ocaml/otags-3.04.3.tar.gz</a>
See HISTORY, README and -help for details.
---- from README ---------
otags is used to build TAGS tables for emacs, like etags does, but for
Ocaml code source files. It is based on camlp4 parsers of caml, which
makes it more accurate than versions based on regexps : otags finds
references to constructors of sum types, fields of records, etc.
--------------------------
<a name="2"/>======================================================================
2) IoXML - OCaml from/to XML
----------------------------------------------------------------------
Daniel de Rauglaudre announced:
Hi,
I have the pleasure to announce the first release of IoXML.
IoXML is a syntax extension (using Camlp4) which automatically add XML
parsers and printers to all types you define in your mli and ml files.
It is like input_value/output_value for your data, but in XML instead
of binary. The dumped data is tagged by the constructor names and the
record and labels names.
Main page and distribution here:
<a href="http://cristal.inria.fr/~ddr/IoXML/">http://cristal.inria.fr/~ddr/IoXML/</a>
<a name="3"/>======================================================================
3) IoXML goes on...
----------------------------------------------------------------------
Daniel de Rauglaudre then added:
Hi all,
I just released version 0.4 of IoXML. See the file CHANGES to see what
happened this week-end:
<a href="http://cristal.inria.fr/~ddr/IoXML/">http://cristal.inria.fr/~ddr/IoXML/</a>
---
IoXML is a Camlp4 syntax extension for OCaml mli and ml files which
generates XML parsers and printers for all types you define. It offers
a kind of input_value/output_value but in XML instead of binary.
Useful to export your data to other programs, or to save it, to debug
by traces, to be fashionable, and so on...
<a name="4"/>======================================================================
4) ocamlnet-0.92 has been released
----------------------------------------------------------------------
Gerd Stolpmann announced:
Hi,
The ocamlnet project releases a new version of its library, the successor of
the well-known netstring library. This release mainly focuses on smoothing
the interoperation of its modules, especially by using the concept of
channel objects everywhere. There are also a number of new features, see
below.
Ocamlnet has now a rich set of functions for the following tasks:
- Dealing with stacks of channel transformers, e.g. "read a certain section
of a file and decode the BASE64 strings, and then convert everything
to UTF-8". This can usually be done without allocating large buffers,
but by processing the data block by block.
(NEW)
- Separate a channel into sections, and process the sections independently.
For example, one can define a boundary string, and read a file section
by section.
(NEW)
- Encode and decode strings, convert between character sets.
(The character set conversion needs to be revised.)
- Parse and print date strings
- Parse and print HTML text
- Parse and print MIME mail messages. There are now high-level functions
for manipulating mail messages (NEW)
- Compose mail messages and send them (using sendmail). The message
composer creates MIME messages, too, and can deal with arbitrary
character sets.
(NEW)
- Parse and print URLs (This module is not yet up to date)
- Ocamlnet includes a complete and modularized implementation of the CGI
protocol.
(UPDATED)
- Ocamlnet has experimental support for building application servers
with Apache and the Jserv protocol
(NEW)
- Ocamlnet includes an experimental POP3 client
The library has been rewritten such that many functions accept so-called
netchannels (or channel objects) as input/output media. The idea is very
simple: a netchannel either represents a real channel, a buffer, a string,
a lexer buffer, a filter (or some of the more complicated entities). A
netchannel for input has methods for reading from the channel, for example
let line = ch # input_line()
to read the next line, and an output netchannel provides the usual output
methods, like
ch # output_string "xyz"
to output a string to the netchannel. The same type is used no matter
what kind of thing the netchannel really is:
let ch1 = new output_channel stdout ;;
let buf = Buffer.create 100 ;;
let ch2 = new output_buffer buf ;;
Here, ch1 is a netchannel on top of O'Caml's built-in out_channel, and
ch2 is on top of a buffer. Ocamlnet contains many functions that can be
applied to any kind of netchannel, for example
write_mime_message msg ch1 msg (* write msg to stdout *)
write_mime_message msg ch2 msg (* write msg to the buffer buf *)
This helps a lot because it saves the programmer from providing the
same functionality for various data types.
A more complicated netchannel is
let ch3 = new output_filter (new Base64.encoding_pipe()) ch2 ;;
Any output to ch3 is BASE64-encoded and transferred to ch2. The netchannels
can be stacked without any restriction, and if the stack is not too high,
the performance loss is quite minimal. For instance, the BASE64 encoding
is applied block by block, so that the additional costs for method lookups
must only be paid for a whole block, not for a single byte.
Another interesting means of programming are the so-called netstreams.
These are input channels with look-ahead, i.e. you can look at the
bytes you will read in the future. The look-ahead buffer can by enlarged
as needed. It is possible to form substreams of netstreams, in order to
view only a certain section of the whole stream. The substream will return
EOF where the section ends, but the main stream can of course read beyond
the section boundary. (See Netstream.) Again, it is possible to recursively
apply substreaming to itself. An application is the parser for nested
multipart MIME messages.
Netchannels and netstreams are two examples illustrating the current
direction of Ocamlnet development. We are trying to find out the basic
types that are needed everywhere, and that make up the glue between
the various parts of the library.
And before I forget it the second time: Ocamlnet includes a routine to
translate Str regular expressions to Pcre regular expressions (because
we are only using Pcre now).
Ocamlnet can be found here:
- Project page: <a href="http://sourceforge.net/projects/ocamlnet">http://sourceforge.net/projects/ocamlnet</a>
- Home page: <a href="http://ocamlnet.sourceforge.net">http://ocamlnet.sourceforge.net</a>
- Download of release 0.92:
<a href="http://prdownloads.sourceforge.net/ocamlnet/ocamlnet-0.92.tar.gz">http://prdownloads.sourceforge.net/ocamlnet/ocamlnet-0.92.tar.gz</a>
<a href="http://www.ocaml-programming.de/packages/ocamlnet-0.92.tar.gz">http://www.ocaml-programming.de/packages/ocamlnet-0.92.tar.gz</a>
If you want to join the Ocamlnet developers team, please subscribe to the
ocamlnet mailing list, and describe what you want to contribute.
(More information on the project page.)
<a name="5"/>======================================================================
5) OCamlCVS 1.1
----------------------------------------------------------------------
Maxence Guesdon announced:
Hi all,
a new release (1.1) of OCamlCVS is available.
Changes are :
- a merge assistant added, to resolve merge conflicts with your magic mouse
- the configure script now checks the ocaml version
(thanks to Alain Frisch for pointing this out :-)
- a bug fix, causing ocamlcvs to find no file when using a remote cvs server
OCamlCVS can be found at
<a href="http://www.maxence-g.net/Tools/ocamlcvs/ocamlcvs.html">http://www.maxence-g.net/Tools/ocamlcvs/ocamlcvs.html</a>
Enjoy !
[You can use this new version in Cameleon, just compile ocamlcvs, install,
then re-compile Cameleon.]
<a name="6"/>======================================================================
6) OCamlAgrep 1.0 (string searching with errors)
----------------------------------------------------------------------
Xavier Leroy announced:
It is my pleasure to release the OCamlAgrep library:
ftp://ftp.inria.fr/lang/caml-light/bazar-ocaml/ocamlagrep-1.0.tar.gz
This library implements the Wu-Manber algorithm for string searching
with errors, popularized by the "agrep" Unix command and the "glimpse"
file indexing tool. It was developed as part of a search engine for a
largish MP3 collection; the "with error" searching comes handy for those
who can't spell Liszt or Shostakovitch.
Given a search pattern and a string, this algorithm determines whether
the string contains a substring that matches the pattern up to a
parameterizable number N of "errors". An "error" is either a
substitution (replace a character of the string with another
character), a deletion (remove a character) or an insertion (add a
character to the string). In more scientific terms, the number of
errors is the Levenshtein edit distance between the pattern and the
matched substring.
The search patterns are roughly those of the Unix shell, including
one-character wildcard (?), character classes ([0-9]) and multi-character
wildcard (*). In addition, conjunction (&) and alternative (|) are
supported. General regular expressions are not supported, however.
Performance is quite good: for short patterns (less than 31 characters)
and no errors, this library is about 8 times faster than OCaml's "Str"
regular expression library. Speed decreases with the number of errors
allowed, but even with 3 errors we are still faster than "Str".
The algorithm is described in S. Wu and U. Manber, "Fast Text
Searching With Errors", tech. rep. TR 91-11, University of Arizona, 1991.
It's a nice exercise in dynamic programming and bit-parallel implementation.
======================================================================
Alan Schmitt
</pre></body></html>