Hello, Here is the latest Caml Weekly News, for the week of September 11 to 18, 2012.
1) A question about Format boxes 2) OCaml-SPF 1.0.0 3) OCaml-SRS 1.0.0 4) OCaml-Milter 1.0.0 5) Release 1.0.0 - A multi-process daemon framework for OCaml 6) OCaml 4.00.0 for iOS is released 7) Slides of ML workshop 8) Other Caml News ======================================================================== 1) A question about Format boxes Archive: <https://sympa.inria.fr/sympa/arc/caml-list/2012-09/msg00044.html> ------------------------------------------------------------------------ ** Michael 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. ======================================================================== 2) OCaml-SPF 1.0.0 Archive: <https://sympa.inria.fr/sympa/arc/caml-list/2012-09/msg00053.html> ------------------------------------------------------------------------ ** Andre Nathan announced: I'm happy to announce the availability of OCaml-SPF 1.0.0, a library that provides OCaml bindings to libspf2[1]. 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 [1] <http://www.libspf2.org/> ======================================================================== 3) OCaml-SRS 1.0.0 Archive: <https://sympa.inria.fr/sympa/arc/caml-list/2012-09/msg00054.html> ------------------------------------------------------------------------ ** Andre Nathan announced: I'm happy to announce the availability of OCaml-SRS 1.0.0, a library that provides OCaml bindings to libsrs2[1]. 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 [1] <http://www.libsrs2.org/> ======================================================================== 4) OCaml-Milter 1.0.0 Archive: <https://sympa.inria.fr/sympa/arc/caml-list/2012-09/msg00055.html> ------------------------------------------------------------------------ ** Andre Nathan announced: I'm happy to announce the availability of OCaml-Milter 1.0.0, a library that provides OCaml bindings to libmilter[1]. 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 [1] <https://www.milter.org/> ======================================================================== 5) Release 1.0.0 - A multi-process daemon framework for OCaml Archive: <https://sympa.inria.fr/sympa/arc/caml-list/2012-09/msg00056.html> ------------------------------------------------------------------------ ** Andre 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. ======================================================================== 6) OCaml 4.00.0 for iOS is released Archive: <https://sympa.inria.fr/sympa/arc/caml-list/2012-09/msg00060.html> ------------------------------------------------------------------------ ** Jeffrey 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[1] 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[2], PR 5757[3]). (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 [1]: <http://www.seaiq.com/> [2]: <http://caml.inria.fr/mantis/view.php?id=5731> [3]: <http://caml.inria.fr/mantis/view.php?id=5757> ======================================================================== 7) Slides of ML workshop Archive: <https://sympa.inria.fr/sympa/arc/caml-list/2012-09/msg00062.html> ------------------------------------------------------------------------ ** Alain 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. ======================================================================== 8) Other Caml News ------------------------------------------------------------------------ ** From the ocamlcore planet blog: 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> ======================================================================== Old cwn ------------------------------------------------------------------------ If you happen to miss a CWN, you can send me a message (alan.schm...@polytechnique.org) and I'll mail it to you, or go take a look at the archive (<http://alan.petitepomme.net/cwn/>) or the RSS feed of the archives (<http://alan.petitepomme.net/cwn/cwn.rss>). If you also wish to receive it every week by mail, you may subscribe online at <http://lists.idyll.org/listinfo/caml-news-weekly/> . ======================================================================== _______________________________________________ caml-news-weekly mailing list caml-news-weekly@lists.idyll.org http://lists.idyll.org/listinfo/caml-news-weekly
