Hello, Here is the latest Caml Weekly News, for the week of May 08 to 15, 2012.
1) camlp4 and generating class definitions 2) Barista 2.0-alpha3 3) OCaml Users and Developers (OUD) 4) 108.00-pre2 pre-release of Core suite 5) Any tool for unit tests as comments in OCaml source? 6) Other Caml News ======================================================================== 1) camlp4 and generating class definitions Archive: <https://sympa.inria.fr/sympa/arc/caml-list/2012-05/msg00103.html> ------------------------------------------------------------------------ ** Joel Reymont asked and Jacques Garrigue replied: > I would like to auto-generate an object with a couple of mutable > fields and some methods. > > I would then like to pretty-print the code into a file. > > Are there any examples showing how to do this with camlp4? My syntax extension for properties does that. <http://www.math.nagoya-u.ac.jp/~garrigue/code/ocaml.html> I haven't tested it recently but hopefully it still works. ** Philippe Veber also replied: You can have a look at Martin Jambon's col syntax extension : <https://github.com/pveber/col> Have a look at pa_col.ml, starting line 400. ======================================================================== 2) Barista 2.0-alpha3 Archive: <https://sympa.inria.fr/sympa/arc/caml-list/2012-05/msg00108.html> ------------------------------------------------------------------------ ** Xavier Clerc announced: This post announces the 2.0-alpha3 release of the Barista project, whose goal is to provide a library for Java class file construction and a Java [dis]assembler, released under the LGPLv3. This new version fixes several critical bugs. Home page: <http://barista.x9c.fr> Forge page: <https://forge.ocamlcore.org/projects/barista/> Main changes since 2.0-alpha2: - support for '*.sym' and '*.war' files in classpath - 'JAVA_HOME' environment variable used to load JDK classes - '/usr/libexec/java_home' utility used to load JDK classes (MacOS X) - 'Predef' module renamed to 'Predefined' - peephole rule for optimization of load/load sequences - no automatic detection of 'ocamljava' binary - bug #99: wrong packing of int32 into int64 - bug: ocamlbuild plugin for ocamljava-based compilation - bug: invalid stack maps when double/long is followed by top - bug: invalid locals size when over 255 - bug: incorrect graph flattening when wide gotos are used - bug: install 'cmi' file ======================================================================== 3) OCaml Users and Developers (OUD) Archive: <https://sympa.inria.fr/sympa/arc/caml-list/2012-05/msg00110.html> ------------------------------------------------------------------------ ** Didier Remy announced: Dear OCaml Users and Developers, This is a reminder that this year "OCaml Meeting", renamed the "OCaml Users and Developers workshop (OUD)", will be colocated with ICFP in Copenhagen, Denmark on September 14th. The deadline for submitting Talk Proposals is 8th June 2012, only few weeks away. Visit <http://oud.ocaml.org/2012/> for all details. Don't miss it! Didier OCAML USERS AND DEVELOPERS WORKSHOP 2012 OUD 2012 <http://oud.ocaml.org> CALL FOR PRESENTATIONS Copenhagen, Denmark Fri, Sep 14th Co-located with ICFP 2012 Sponsored by SIGPLAN Talk Proposal Submission Deadline 8th June 2012 In 2012, the OCaml Meeting will be renamed the OCaml Users and Developers workshop (OUD), and be colocated with ICFP in Copenhagen, Denmark. It will be held on Friday September 14, after the ML workshop (Thu 13) and before the Commercial Users of Functional Programming (Sat 15). The OCaml Users and Developers Workshop will bring together industrial users of OCaml with academics and hackers who are working on extending the language, type system and tools. Discussion will focus on the practical aspects of OCaml programming and the nitty gritty of the tool-chain and upcoming improvements and changes. Thus, we aim to solicit talks on all aspects related to improving the use or development of the language, including, for example: - compiler developments; new backends, runtime and architectures. - practical type system improvements, such as (but not exhaustively) GADTs, first-class modules, generic programming, or dependent types. - new library or application releases, and their design rationales. - tool enhancements by commercial consultants. - prominent industrial uses of OCaml, or deployments in unusual situations. It will be an informal meeting, with an online scribe report of the meeting, but no formal proceedings for this year. Slides of presentations will be available online from the workshop homepage. To submit a talk, please register an abstract or outline (1-2 pages) at <http://oud.ocaml.org/talks> with as much information as you feel will support the proposal. If you wish to perform a demo or require any special setup, we will do our best to accommodate you. Schedule ======== Abstract Submission Deadline: Friday, 8th June 2012 Notification to Speakers: Friday, 6th July 2012 Workshop: Fri, 14th September 2012 Program Committee ================= * Didier Remy (co-chair) * Anil Madhavapeddy (co-chair) * Alain Frisch * Jacques Garrigue * Thomas Gazagnaire * Martin Jambon * Richard Jones If you have any questions, please e-mail: Didier Remy <didier.remy AT inria.fr> Anil Madhavapeddy <avsm2 AT cl.cam.ac.uk> ======================================================================== 4) 108.00-pre2 pre-release of Core suite Archive: <https://sympa.inria.fr/sympa/arc/caml-list/2012-05/msg00112.html> ------------------------------------------------------------------------ ** Yaron Minsky announced: I'm pleased to announce the 108.00-pre2 pre-release of the Core suite of libraries. Core is an industrial strength alternative to OCaml's standard library. The tarball can be found here: <https://bitbucket.org/yminsky/ocaml-core/downloads> The Core suite includes a variety of useful libraries, including: - Core: the heart of the standard library. - Several useful syntax extensions - type-conv: a library for building type-driven syntax extensions - sexplib: a library for handling s-expressions, and a syntax extension for auto-generating conversions between OCaml types and s-expressions - bin-prot: a syntax-extensions for generating - pipebang - variantslib - comparelib - fieldslib - Async: a monadic concurrency library. - Core_extended: extra components that are not as closely vetted or as stable as Core. This includes, Shell, an interface for interacting with the UNIX shell, and Command, a command-line parsing library. Many of these libraries have been released separately in the past, but we're now releasing them as a single tarball. The release does not depend on Oasis to build, so it should be easier to build and install than installing from the hg repo. Feedback is greatly appreciated! You can join the core mailing list here: <https://groups.google.com/forum/?fromgroups#!forum/ocaml-core> ======================================================================== 5) Any tool for unit tests as comments in OCaml source? Archive: <https://sympa.inria.fr/sympa/arc/caml-list/2012-05/msg00113.html> ------------------------------------------------------------------------ ** Francois Berenger asked and Thibault Suzanne replied: > What's the gold standard in OCaml to have > unit test as comments in source code in order > for a tool to automatically extract them > and generate a test suite? I don't know if it's a "gold standard", but Batteries uses qtest. The documentation (clear and concise in my opinion) can be found at <http://batteries.vhugot.com/qtest/>. ** Cedric Cellier then added: There's some work going on around batteries qtest program. See for instance this wiki page on batteries tests: <https://github.com/ocaml-batteries-team/batteries-included/wiki/Developers-Guidelines> ======================================================================== 6) 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/>. Barista: 2.0-alpha3: <https://forge.ocamlcore.org/forum/forum.php?forum_id=832> stog: <https://forge.ocamlcore.org/projects/stog/> ======================================================================== 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