Here is the latest Caml Weekly News, for the week of September 25 to October 02, 2012.
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2012-09/msg00122.htmlPierre Vittet announced:
We have the pleasure to announce a new release of Javalib and Sawja (the Static Analysis Workshop for JAva). Javalib and Sawja are libraries written in OCaml. Javalib parses Java .class files into OCaml data structures. Sawja is relying on the Javalib library, and providing a high level representation of Java bytecode programs. Whereas Javalib is dedicated to isolated classes, Sawja handles bytecode programs with their class hierarchy and control flow algorithms. Sawja also provides some stackless intermediate representations of code and static analysis tools that makes analyses easier. The main new feature of this release is the ability to use formulae. It is a way to add information at the source code level which can then be used in an analysis. It is useful, for example, to guarantee assertions that cannot be found by the analyser or even to manage structures/functions which are implicitly present in the code environment. More information, examples, and a series of tutorials are available at http://sawja.inria.fr. The Sawja devteam is looking forward to your questions and feedback on the library.
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2012-09/msg00123.htmlMaxence Guesdon announced:
It is my pleasure to announce the first release of OCaml-RDF: http://ocaml-rdf.forge.ocamlcore.org/ OCaml-RDF is a native OCaml library to manipulate RDF graphs.
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2012-09/msg00128.htmlEric Stokes announced and Jacques-Pascal Deplaix added:
> Jacques-Pascal Deplaix is taking over the Ocamldap project. I've > enjoyed working on it over the years, but no longer have time to > devote to it. He will follow up with details. For information for those interested, this release (2.2) is based on the "stable" trunk (branches/OCAMLDAP_2_0). The next release will be based on the main trunk, without the lasts "unstable commits" (doesn't compiles since 2006). Also, for information, the stable branch is under "LGPL" and the main trunk in under "LGPL with the special ocaml linking exception". So, the next release will have the special ocaml linking exception. The old svn repository: * http://ocamldap.svn.sourceforge.net/viewvc/ocamldap/
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2012-09/msg00129.htmlJacques-Pascal Deplaix announced:
I'm happy to announce the version 2.2 of Ocamldap with the following changes: * OCaml 4 compatibility * Modularize the library in sub-libraries: ldap ldap.ldif ldap.toplevel * Use oasis * Repository cleaning * Maintainer changed (Thanks to Eric Stokes) * Switch from svn to git The new repository is available at: * http://git-jpdeplaix.dyndns.org/libs/ocamldap.git/ * https://gitorious.org/ocamldap/ * https://bitbucket.org/deplai_j/ocamldap/ (Use the one you want)
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/. Announcing Ohm, an OCaml Web Framework: http://www.nicollet.net/2012/10/announcing-ohm-an-ocaml-web-framework/ The Ocsigen cheatsheet: http://ocsigen.org/ Ocamldap: https://forge.ocamlcore.org/projects/ocamldap/ Delimited Overloading 0.8.15: https://forge.ocamlcore.org/forum/forum.php?forum_id=858 Substitution is pullback: http://math.andrej.com/2012/09/28/substitution-is-pullback/ Programming Tools UX: When Statically Compiled Feels Dynamic: http://blog.opalang.org/2012/09/programming-tools-ux-when-statically.html Jane Street at OUD: https://ocaml.janestreet.com/?q=node/108 OCaml Users and Developers slides and videos: http://rwmj.wordpress.com/2012/09/26/ocaml-users-and-developers-slides-and-videos/
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.