Hello
Here is the latest Caml Weekly News, for the week of September 07 to 14, 2010.
Archive: http://groups.google.com/group/fa.caml/browse_thread/thread/265be57b27211879#
Sylvain Le Gall announced:
This is a simple implementation of `expect` to help building unitary testing
of interactive program.
It helps to receive question and send answers from an interactive process.
You can match the question using a regular expression (Str). You can also
use a timeout to ensure that the process answer in time.
See the [Expect manual](http://expect.nist.gov/) for more information and
example.
Homepage:
http://forge.ocamlcore.org/projects/ocaml-expect/
Get source code:
$ darcs get http://darcs.ocamlcore.org/repos/ocaml-expect
Browse source code:
http://darcs.ocamlcore.org/cgi-bin/darcsweb.cgi?r=ocaml-expect;a=summary
[Generated by 'OASIS announce']
Archive: http://groups.google.com/group/fa.caml/browse_thread/thread/db858037fc7f7fb6#
Jake Donham announced:
If you are interested in using Jeremy Yallop's patterns extension on
OCaml 3.12.0, I have fixed it up here:
http://github.com/jaked/patterns
I haven't tried anything serious with it but the tests pass.
Also I added a little extension for "alist patterns": a pattern
alist [ "foo", x; "bar", y ]
matches association lists containing keys "foo" and "bar".
Archive: http://groups.google.com/group/fa.caml/browse_thread/thread/520bed365ba854c3#
Sylvain Le Gall announced:
This program searches for JPEG files into a dump of a memory card (a RAW
file). Once found, each files is saved in a different JPEG file.
This tool scans for JPEG markers inside the RAW. When a SOI (Start of Image)
marker is found, the tool scan the content to find a consistent EOI (End of
Image) marker.
It doesn't need to have a valid filesystem so it can handle most of the
crashed memory card. It recovers the image data and EXIF information.
Homepage:
http://forge.ocamlcore.org/projects/camera-rescue/
Get source code:
$ darcs get http://darcs.ocamlcore.org/repos/camera-rescue
Browse source code:
http://darcs.ocamlcore.org/cgi-bin/darcsweb.cgi?r=camera-rescue;a=summary
[Generated by 'OASIS announce']
Gabriel Kerneis asked and Sylvain Le Gall replied:
> Out of curiosity, what is the difference with recoverjpeg (except the
> programming language)?
>
> http://www.rfc1149.net/devel/recoverjpeg
>
As another user points me to, there is also:
http://www.cgsecurity.org/wiki/PhotoRec
camera-rescue is probably not as good as these other tools. There are
plenty of tools like this one. But it makes a good example code ;-)
I would like to announce
The Enhanced Ocaml Documentation
Version 3.12
available via http://www.askra.de/ocaml-doc/3.12
This version of the Ocaml manual enhances the original html
version in the following way:
- Changes (wrt version 3.10) are tagged with icons and color
- an additional appendix contains just the grammar rules
[There is no version for 3.11, therefore the changes are marked
with respect to 3.10.]
Archive: http://groups.google.com/group/fa.caml/browse_thread/thread/7d1145d1490924c7#
Martin Jambon announced:
It is my pleasure to announce atdgen, a program for deriving OCaml serializers
and deserializers from type definitions. The supported serialization formats
are JSON and a new binary format called biniou.
The main URL for atdgen is
http://oss.wink.com/atdgen/
Four distinct source packages were created:
- biniou: a new binary format designed for full extensibility
- yojson: a new library for the JSON format
- atd: "Adjustable Type Definitions", a syntax for type definitions
- atdgen: OCaml code generator
All four packages are distributed under the terms of a BSD license.
MyLife holds the copyright for atd and atdgen while I hold the copyright for
biniou and yojson.
Multiple ideas have motivated this work. They are explained in the following
document:
http://martin.jambon.free.fr/atd-biniou-intro.html
A standalone example using atdgen is given in the source distribution and is
accessible at:
http://oss.wink.com/atdgen/atdgen-1.0.1/example/
Package details:
================
Atdgen
Author: Martin Jambon
Homepage: http://oss.wink.com/atdgen/
Version: 1.0.1
Kind: code generator
Godi package: yes
Description:
Atdgen is a command-line program that takes as input type definitions in
the ATD syntax and produces OCaml code suitable for data serialization and
deserialization. Two data formats are currently supported, these are biniou
and JSON.
Atd
Author: Martin Jambon
Homepage: http://oss.wink.com/atd/
Version: 0.9.2
Development status: stable
Kind: library
Godi package: yes
Description:
ATD stands for Adjustable Type Definitions. It is a type definition
language designed to accommodate a variety of programming languages and data
formats by the means of target-specific annotations. It supports sum
types, parametrized types and inheritance. The library provides a parser
and other tools useful for manipulating ATD type definitions. The
reference manual gives a complete description of the syntax.
Biniou
Author: Martin Jambon
Homepage: http://martin.jambon.free.fr/biniou.html
Version: 0.9.1
Development status: stable
Kind: library
Godi package: yes
Description:
Biniou is a binary data format designed for speed, safety, ease of use and
backward compatibility as protocols evolve. Biniou is vastly equivalent to
JSON in terms of functionality but allows implementations about 4 times as
fast (see godi-yojson for comparison), with 25-35% space savings. Biniou
data can be decoded into human-readable form without knowledge of type
definitions (except for field and variant names which are represented by
31-bit hashes).
Yojson
Author: Martin Jambon
Homepage: http://martin.jambon.free.fr/yojson.html
Version: 0.8.1
Development status: stable
Kind: library
Godi package: yes
Description:
Yojson is an optimized parsing and printing library for the JSON format.
It addresses a few shortcomings of json-wheel including 3x speed
improvement, polymorphic variants and optional syntax for tuples and
variants.
Thanks to Alp Mestan, we now include in the Caml Weekly News the links to the
recent posts from the ocamlcore planet blog at http://planet.ocamlcore.org/.
Analyzing logfiles (2):
http://gaiustech.wordpress.com/2010/09/13/analyzing-logfiles-2/
Analyzing logfiles (1):
http://gaiustech.wordpress.com/2010/09/12/analyzing-logfiles-1/
Literate programming: where we are and where we should aim at:
http://bentobako.org/david/blog/index.php?post/2010/09/08/Literate-programming%3A-where-we-are-and-where-we-should-aim
Liquidsoap 1.0 beta1 and 0.9.3 released!:
http://blog.rastageeks.org/liquidsoap/article/liquidsoap-1-0-beta1-and-0-9-3
Reading Camlp4, part 11: syntax extensions:
http://ambassadortothecomputers.blogspot.com/2010/09/reading-camlp4-part-11-syntax.html
Dirty fix for omlet vim extension:
http://le-gall.net/sylvain+violaine/blog/index.php?2010/09/10/65-dirty-fix-for-omlet-vim-extension
Windows Service:
https://forge.ocamlcore.org/projects/winsvc/
analyse numérique:
https://forge.ocamlcore.org/projects/anum/
list unique:
https://mancoosi.org/~abate/list-unique
Time regression testing:
https://mancoosi.org/~abate/time-regression-testing
If you happen to miss a CWN, you can send me a message and I'll mail it to you, or go take a look at the archive or the RSS feed of the archives.
If you also wish to receive it every week by mail, you may subscribe online.