From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 3FE657F30D for ; Tue, 26 Feb 2013 19:09:54 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=pra; client-ip=89.16.177.154; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=mailfrom; client-ip=89.16.177.154; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@dark.recoil.org) identity=helo; client-ip=89.16.177.154; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="postmaster@dark.recoil.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApcCANn5LFFZELGagWdsb2JhbABFwWAIgRUOAQEWJieCHwEBBAF5BQsLEgYuSQ4GE4gNCgivcJABBI8UB4JfYQOWQJNw X-IPAS-Result: ApcCANn5LFFZELGagWdsb2JhbABFwWAIgRUOAQEWJieCHwEBBAF5BQsLEgYuSQ4GE4gNCgivcJABBI8UB4JfYQOWQJNw X-IronPort-AV: E=Sophos;i="4.84,742,1355094000"; d="scan'208";a="4596038" Received: from recoil.dh.bytemark.co.uk (HELO dark.recoil.org) ([89.16.177.154]) by mail2-smtp-roc.national.inria.fr with SMTP; 26 Feb 2013 19:09:53 +0100 Received: (qmail 1062 invoked by uid 634); 26 Feb 2013 18:09:52 -0000 X-Spam-Level: * X-Spam-Check-By: dark.recoil.org Received: from host86-139-138-104.range86-139.btcentralplus.com (HELO clink-4.home) (86.139.138.104) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Tue, 26 Feb 2013 18:09:51 +0000 Content-Type: text/plain; charset=iso-8859-1 Mime-Version: 1.0 (Mac OS X Mail 6.2 \(1499\)) From: Anil Madhavapeddy In-Reply-To: <510B7487.90708@riken.jp> Date: Tue, 26 Feb 2013 18:09:52 +0000 Cc: oleg@okmij.org, rixed@happyleptic.org, caml-list@inria.fr Content-Transfer-Encoding: 7bit Message-Id: <8D005CC4-A79A-4C6A-ABC0-5E152C2EB402@recoil.org> References: <20130201065335.44274.qmail@www1.g3.pair.com> <510B7487.90708@riken.jp> To: Francois Berenger X-Mailer: Apple Mail (2.1499) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Subject: Re: [Caml-list] ANN: Brand-new BER MetaOCaml for OCaml 4.00.1 On 1 Feb 2013, at 07:53, Francois Berenger wrote: > On 02/01/2013 03:53 PM, oleg@okmij.org wrote: >> Francois Berenger wrote: >>> Could it be (ab)used to translate easily a whole program's OCaml source >>> into C code? >> >> In fact at one point MetaOCaml did so -- translated the generated OCaml >> code to C or Fortran. This feature -- called offshoring -- was used to >> generate FFT kernels. The generated C code was good enough to plug as >> it was into the FFTW benchmarking and testing framework. During the >> overhaul offshoring has been separated and left for clean-up and >> re-writing. Now there is a place for it in the overall architecture. > > Amazing. > At some point, if MetaOcaml can be made available as an OPAM switch, > people will be able to give it a try very easily. Thanks to Cedric Cellier packaging it up and sending us a pull request [1], you can try our MetaOCaml BER straight from OPAM via: $ opam update $ opam switch 4.00.1+BER $ eval `opam config env` $ ocaml... -anil [1] https://github.com/OCamlPro/opam-repository/pull/461