Hello
Here is the latest Caml Weekly News, for the week of July 05 to 12, 2011.
Archive: https://sympa-roc.inria.fr/wws/arc/caml-list/2011-07/msg00064.html
Deep in this thread, Jon Harrop asked about heaps and priority queues in Ocaml and James Woodyatt replied:
I released this years ago. It's stable, meaning I use it all the
time, and I never touch it.
https://bitbucket.org/jhw/oni
From the README in the Cf library:
>> Highlighted features include:
>>
>> - Functional streams and stream processors (extended).
>> - Functional bootstrapped skew-binomial heap.
*******************************************
>> - Functional red-black binary tree (associative array).
>> - Functional sets based on red-black binary tree.
>> - Functional real-time catenable deque.
>> - Functional LL(x) parsing using state-exception monad.
>> - Functional lazy deterministic finite automaton (DFA).
>> - Functional lexical analyzer (using lazy DFA and monadic parser).
>> - Functional substring list manipulation (message buffer chains).
>> - Gregorian calendar date manipulation.
>> - Standard time manipulation.
>> - System time in Temps Atomique International (TAI).
>> - Unicode transcoding.
>> - Universal resource identifier (URI) manipulation.
>> - Extended socket interface (supports more options, and UDP w/multicast).
>> - I/O event multiplexing (with Unix.select).
>> - Functional XML stream parsing and generation
>> - Functional MIME stream parsing and generation
Among other treasures, it has priority queues built with the bootstrapped
skew-binomial heaps.
https://bitbucket.org/jhw/oni/src/ef09a44a61ea/cf/cf_pqueue.mli
https://bitbucket.org/jhw/oni/src/ef09a44a61ea/cf/cf_sbheap.mli
Nobody knows about my Oni project because I rarely put any effort into
promoting it, but its Cf library is an excellent alternative to the OCaml
standard library in many ways. There is a GODI package for it, of course,
but the OCaml With Batteries people settled on a more popular alternative
(and who can blame them) so again nobody knows about it. Nevertheless, if
you need the complete array of functional data structures in OCaml, you
should look at the Cf library I wrote. It's pretty good.
Archive: https://sympa-roc.inria.fr/wws/arc/caml-list/2011-07/msg00050.html
Martin Jambon announced:
I have the pleasure to officially announce this new release of Atdgen.
Atdgen is a tool that generates optimized OCaml code from type
definitions, primarily for data serialization:
http://oss.wink.com/atdgen/
Atdgen supports one text format, JSON, and one binary format, Biniou,
which retains most properties of JSON.
JSON specification: http://json.org
Biniou specification: http://martin.jambon.free.fr/biniou-format.txt
What's new
----------
* a tutorial: http://mylifelabs.github.com/atdgen-tutorial.html
* new command-line modes (-t, -b, -j, -v) and new conventions that make
it easier to split groups of type definitions into multiple files and
OCaml modules. Existing users of Atdgen are encouraged to switch to this
new model, described in the tutorial.
* a validator mode (-v) which produces code that calls user-specified
validators on the nodes of data structures to validate.
* OMake support: https://github.com/MyLifeLabs/atdgen-omake
* GNU Make support: https://github.com/MyLifeLabs/atdgen-make
Development status
------------------
Atdgen is being developed at MyLife (http://www.mylife.com) where we use
it routinely to process and serve terabytes of rich data.
The source repository is publicly hosted on GitHub:
https://github.com/MyLifeLabs/atdgen
Technology used
---------------
* type definition parsing (atd package): ocamllex + menhir
* JSON parsing (yojson package): ocamllex, some Obj
* Biniou parsing (biniou package): handwritten OCaml, some Obj
* pretty-printing (atd, yojson, biniou): easy-format, relying on Format
* not-too-ugly-printing OCaml code (atdgen) uses simple technique
implemented here:
https://github.com/MyLifeLabs/atd/blob/master/atd_indent.mli
https://github.com/MyLifeLabs/atd/blob/master/atd_indent.ml
(Atdgen does not use Camlp4)
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/.
Stacks and other stuff:
http://gaiustech.wordpress.com/2011/07/10/stacks-and-other-stuff/
Why:
http://gaiustech.wordpress.com/2011/07/08/why-open-source/
type-conv:
https://forge.ocamlcore.org/projects/type-conv/
OCamlDuce 3.12.1.0:
https://forge.ocamlcore.org/forum/forum.php?forum_id=798
Batteries 1.4.0 released:
https://forge.ocamlcore.org/forum/forum.php?forum_id=797
Was running into this problem, fixed by disabling that setting....:
http://blog.dbpatterson.com/post/7328412041
How to organize Ocsigen projects to compile to a native code binary (and why this is not good).:
http://blog.dbpatterson.com/post/7327834768
OCamlspotter 1.3.0:
http://caml.inria.fr/cgi-bin/hump.cgi?contrib=660
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.