From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 9063EBC6B for ; Mon, 7 Jan 2008 16:32:02 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAL7UgUfBMHhLn2dsb2JhbACQFAEBAQEHBAYJIJdB X-IronPort-AV: E=Sophos;i="4.24,254,1196636400"; d="asc'?scan'208";a="5797991" Received: from net.univ-savoie.fr ([193.48.120.75]) by mail2-smtp-roc.national.inria.fr with ESMTP; 07 Jan 2008 16:32:01 +0100 Received: from post.bourget.univ-savoie.fr (post.bourget.univ-savoie.fr [193.48.120.73]) by net.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id m07FVpvR032503 ; Mon, 7 Jan 2008 16:31:51 +0100 Received: from d45.lama.univ-savoie.fr (d45.lama.univ-savoie.fr [193.48.123.45]) by post.bourget.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id m07FVmnv007650 ; Mon, 7 Jan 2008 16:31:48 +0100 Message-ID: <478245E4.2040107@univ-savoie.fr> Date: Mon, 07 Jan 2008 16:31:48 +0100 From: Christophe Raffalli User-Agent: Thunderbird 2.0.0.6 (X11/20071022) MIME-Version: 1.0 To: Jon Harrop Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Performance questions, -inline, ... References: <200801031128.30183.ober.14@osu.edu> <200801051936.23521.jon@ffconsultancy.com> <200801070848.40809.ober.14@osu.edu> <200801071441.48212.jon@ffconsultancy.com> In-Reply-To: <200801071441.48212.jon@ffconsultancy.com> X-Enigmail-Version: 0.95.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enig3DA2B74A72B771D2ACC3F329" X-Scanned-By: MIMEDefang 2.33 (www . roaringpenguin . com / mimedefang) X-Spam: no; 0.00; christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 -inline:01 high-level:01 ocaml:01 chablais:01 73376:01 univ-savoie:01 lama:01 caml-list:01 universite:02 cedex:02 X-Attachments: type="application/pgp-signature" name="signature.asc" name="signature.asc" This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --------------enig3DA2B74A72B771D2ACC3F329 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable >=20 > You mean it might be possible to recover the performance of C from nume= rical=20 > code with high-level abstractions? Yes. Indeed, I would like to see thi= s=20 > done. However, I've never heard of an implementation of any language th= at can=20 > do this. >=20 That's what MLTon tries to do ... I do not know how much they succeed, bu= t monomorphisation and defunctorization shoud do the job better than OCaml (look at the specific= numerical benchmark for MLTon ?) --=20 Christophe Raffalli Universite de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex tel: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI --------------------------------------------- IMPORTANT: this mail is signed using PGP/MIME At least Enigmail/Mozilla, mutt or evolution can check this signature. The public key is stored on www.keyserver.net --------------------------------------------- --------------enig3DA2B74A72B771D2ACC3F329 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFHgkXpi9jr/RgYAS4RAlPbAJ0V4RCd2OlKLE3FLeygEnUQJrQcxgCfT7K2 Tmat/nbmBK0sMobz7cqGadA= =5ofr -----END PGP SIGNATURE----- --------------enig3DA2B74A72B771D2ACC3F329--