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.