From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 59D4B81799 for ; Wed, 31 Jul 2013 16:06:35 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of forum@x9c.fr) identity=pra; client-ip=178.33.111.247; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="forum@x9c.fr"; x-sender="forum@x9c.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of forum@x9c.fr designates 178.33.111.247 as permitted sender) identity=mailfrom; client-ip=178.33.111.247; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="forum@x9c.fr"; x-sender="forum@x9c.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mo5.mail-out.ovh.net) identity=helo; client-ip=178.33.111.247; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="forum@x9c.fr"; x-sender="postmaster@mo5.mail-out.ovh.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Al4BAJkZ+VGyIW/3nGdsb2JhbABbgzu+bQqBIw4BAQEBAQYNCQkUKIJlMgoDiWEECLhTkAcdGIJqcwOZCIsAiDk X-IPAS-Result: Al4BAJkZ+VGyIW/3nGdsb2JhbABbgzu+bQqBIw4BAQEBAQYNCQkUKIJlMgoDiWEECLhTkAcdGIJqcwOZCIsAiDk X-IronPort-AV: E=Sophos;i="4.89,787,1367964000"; d="scan'208";a="28068943" Received: from 4.mo5.mail-out.ovh.net (HELO mo5.mail-out.ovh.net) ([178.33.111.247]) by mail2-smtp-roc.national.inria.fr with ESMTP; 31 Jul 2013 16:06:34 +0200 Received: from mail30.ha.ovh.net (b6.ovh.net [213.186.33.56]) by mo5.mail-out.ovh.net (Postfix) with SMTP id 763B91014007 for ; Wed, 31 Jul 2013 16:06:34 +0200 (CEST) Received: from b0.ovh.net (HELO queueout) (213.186.33.50) by b0.ovh.net with SMTP; 31 Jul 2013 16:06:34 +0200 Received: from global-1-26.nat.csx.cam.ac.uk (HELO dhcp-172-17-153-78.eduroam.lapwing.private.cam.ac.uk) (forum%x9c.fr@131.111.184.26) by ns0.ovh.net with SMTP; 31 Jul 2013 16:06:33 +0200 From: "forum@x9c.fr" Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Ovh-Mailout: 178.32.228.5 (mo5.mail-out.ovh.net) Date: Wed, 31 Jul 2013 15:06:33 +0100 Message-Id: <86A7A69F-91B1-4CE3-8DC6-6E2B782DC690@x9c.fr> Cc: "forum@x9c.fr" To: caml-list@inria.fr Mime-Version: 1.0 (Apple Message framework v1283) X-Mailer: Apple Mail (2.1283) X-Ovh-Tracer-Id: 1867023520981779232 X-Ovh-Remote: 131.111.184.26 (global-1-26.nat.csx.cam.ac.uk) X-Ovh-Local: 213.186.33.20 (ns0.ovh.net) X-OVH-SPAMSTATE: OK X-OVH-SPAMSCORE: 0 X-OVH-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeeijedrheejucetufdoteggodetrfcurfhrohhfihhlvgemucfqggfjnecuuegrihhlohhuthemuceftddtnecu X-Spam-Check: DONE|U 0.5/N X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: 0 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeeijedrheejucetufdoteggodetrfcurfhrohhfihhlvgemucfqggfjnecuuegrihhlohhuthemuceftddtnecu Subject: [Caml-list] OCaml-Java: blending OCaml & Java Dear list, OCaml-Java is a project whose goal is to provide a compiler targeting the JVM. The related objectives are to gain access to a greater number of libraries, and to be able to take advantage of multiple cores. During the past few months, OCaml-Java has greatly evolved and now contains the necessary mechanisms to easily blend OCaml and Java in a single application, and to develop multicore programs. To access OCaml code from Java code, a tool (namely "ocamlwrap") allows to generate Java class definitions mapping OCaml types and values to Java elements. An overview of the tool is available at the following address: http://ocamljava.x9c.fr/preview/ocamlwrap.html To access Java code from OCaml code, an extension to the original OCaml typer allows to create and manipulate Java instances from purely OCaml code. The typer extension is presented at the following address: http://ocamljava.x9c.fr/preview/javaext.html To take advantage of multiple cores, various abstractions are provided by the newly-introduced "Concurrent" library. It features low-level abstractions such as threads and locks, but also high-level abstractions such as map/reduce computations and parallel operations over arrays. An introduction to the library and its ocamldoc-generated documentation can be reached at the following addresses: http://ocamljava.x9c.fr/preview/concurrency.html http://ocamljava.x9c.fr/preview/concurrent/index.html The project is available as a binary distribution, just needing an installed Java 1.7 SDK to be used. The binary distribution can be downloaded at: http://ocamljava.x9c.fr/preview while the bugtracker can be reached at: http://bugs.x9c.fr/ To conclude, I would like to acknowledge the OCaml Labs for welcoming me. A significant part of this work has actually been performed while visiting the OCaml Labs. Kind regards, Xavier Clerc