Here is the latest Caml Weekly News, for the week of September 11 to 18, 2012.
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2012-09/msg00044.htmlMichael Welsh Duggan asked and Martin Jambon replied:
> The example at > http://caml.inria.fr/resources/doc/guides/format.en.html#hov-boxes > shows a major difference in the output of packing versus structural hov > boxes. However, in my experiments I cannot achieve the output this > example assigns to "packing" boxes. (OCaml 3.12) > > My examples from the REPL are below. Would someone be able to tell me > what I am doing incorrectly? > > # Format.printf "@[<hv 2>(---@\n@[<hv 2>(---@\n@[<hv > 2>(---@,)@]@,)@]@,)@]@\n";; > (--- > (--- > (---))) > - : unit = () > # Format.printf "@[<hov 2>(---@\n@[<hov 2>(---@\n@[<hov > 2>(---@,)@]@,)@]@,)@]@\n";; > (--- > (--- > (---))) > - : unit = () > # Format.printf "@[<2>(---@\n@[<2>(---@\n@[<2>(---@,)@]@,)@]@,)@]@\n";; > (--- > (--- > (---))) > - : unit = () > # Format.printf "@[<b 2>(---@\n@[<b 2>(---@\n@[<b 2>(---@,)@]@,)@]@,)@]@\n";; > (--- > (--- > (---))) > - : unit = () I have no idea what you're doing wrong, but I can suggest you try easy-format (http://mjambon.com/easy-format.html) which lets you choose and customize various indentation styles.
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2012-09/msg00053.htmlAndre Nathan announced:
I'm happy to announce the availability of OCaml-SPF 1.0.0, a library that provides OCaml bindings to libspf2. The module allows SPF (Sender Policy Framework) verifiers to be written in OCaml. Github repostory: https://github.com/andrenth/ocaml-spf Forge download: http://forge.ocamlcore.org/frs/?group_id=317 ODB package page: http://oasis.ocamlcore.org/dev/view/spf/1.0.0 Best regards, Andre  http://www.libspf2.org/
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2012-09/msg00054.htmlAndre Nathan announced:
I'm happy to announce the availability of OCaml-SRS 1.0.0, a library that provides OCaml bindings to libsrs2. The module provide functions to perform email address rewriting with SRS (Sender Rewriting Scheme). Github repostory: https://github.com/andrenth/ocaml-srs Forge download: http://forge.ocamlcore.org/frs/?group_id=318 ODB package page: http://oasis.ocamlcore.org/dev/view/srs/1.0.0 Best regards, Andre  http://www.libsrs2.org/
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2012-09/msg00055.htmlAndre Nathan announced:
I'm happy to announce the availability of OCaml-Milter 1.0.0, a library that provides OCaml bindings to libmilter. This module allows one to use OCaml to write applications that integrate with SMTP servers like Postfix and Sendmail via the milter interface. Github repostory: https://github.com/andrenth/ocaml-milter Forge download: http://forge.ocamlcore.org/frs/?group_id=319 ODB package page: http://oasis.ocamlcore.org/dev/view/milter/1.0.0 Best regards, Andre  https://www.milter.org/
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2012-09/msg00056.htmlAndre Nathan announced:
I'm happy to announce version 1.0.0 of the Release daemon framework for OCaml: Github repository: https://github.com/andrenth/release Forge download: http://forge.ocamlcore.org/frs/?group_id=290 ODB package page: http://oasis.ocamlcore.org/dev/view/release/1.0.0 From the README: Release is a multi-process Lwt-enabled daemon framework for OCaml, providing facilities for type-safe inter-process communication and privilege-dropping. Its goal is to make it easy to write servers that are released from the calling terminal and to release root privileges when those are not necessary. Release provides the following features: - Easy creation of 1-to-1 master-slave or 1-to-n master-slaves process architectures; - Type-safe and thread-safe interprocess communication; - Supervisor features (the master process detects unexpected deaths of its slaves and restarts them); - Integer operations on buffers with support for 16, 32, 64 and 128 bit integers with support for little- and big-endian representations, plus a functorial interface allowing the definition of operations on other integer sizes in the release.bytes submodule; - Generic configuration file parser with built-in validation in the release.config submodule.
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2012-09/msg00060.htmlJeffrey Scofield announced:
I've released a version of OCaml 4.00.0 that creates iOS apps. First class modules and generalized abstract data types for your iPhone and iPad! I wrote a little bit about the project here: http://psellos.com/2012/09/2012.09.ocamlxarm-ocaml4-released.html If you just want to download the cross compiler or build it from source, you can go directly to the main OCaml-on-iOS page: http://psellos.com/ocaml/compile-to-iphone.html I also have a page of OCaml-on-iOS resources with many example apps and an interface to OpenGL ES: http://psellos.com/ocaml/ This version of OCamlXARM (my name for the project) generates code only for the armv7 architecture (in the Thumb encoding), which works on all iOS devices introduced since September 2009. Despite some excellent advice to the contrary, I'm planning to put out a release that also generates armv6 code (in ARM encoding), which will support all historical iOS devices. Thanks to Benedikt Meurer for writing the OCaml 4 ARM code generator, and for help and advice. Thanks to my colleagues at SEAiq for helping with the testing. Thanks to the OCaml team at INRIA for fixing some bugs we found in the base OCaml 4.00.0 release (PR 5731, PR 5757). (The SEAiq guys have also recently demonstrated that OCaml threading works under iOS. I'll have more about this soon in my sporadic blog, linked above.) I'm very happy to hear from anybody interested. Jeffrey : http://www.seaiq.com/ : http://caml.inria.fr/mantis/view.php?id=5731 : http://caml.inria.fr/mantis/view.php?id=5757
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2012-09/msg00062.htmlAlain Frisch announced:
All the slides for the ML2012 workshop are now online at: http://www.lexifi.com/ml2012/ Videos should be available today or tomorrow on Youtube.
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/. Programming Tools UX: When Statically Compiled Feels Dynamic: http://blog.opalang.org/2012/09/programming-tools-ux-when-statically.html OLD Programming tools UX: When statically compiled feels dynamic: http://blog.opalang.org/2012/09/old-programming-tools-ux-when.html OCaml-SRS: https://forge.ocamlcore.org/projects/ocaml-srs/ OCaml-SPF: https://forge.ocamlcore.org/projects/ocaml-spf/ ICFP 2012, Sunday: the HOPE Workshop: http://gallium.inria.fr/~scherer/gagallium/icfp-sunday/index.html google-drive-ocamlfuse v0.1 released: https://forge.ocamlcore.org/forum/forum.php?forum_id=857 Building a "xenstore stub domain" with Mirage: http://www.openmirage.org/blog/xenstore-stub-domain Functional Big-Data Genomics: http://ashishagarwal.org/2012/09/11/functional-big-data-genomics/?utm_source=rss&utm_medium=rss&utm_campaign=functional-big-data-genomics
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.