From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <alain@frisch.fr>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 2E30E7F30A
	for <caml-list@sympa.inria.fr>; Wed, 13 Mar 2013 22:02:33 +0100 (CET)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  alain@frisch.fr) identity=pra; client-ip=212.27.42.3;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  alain@frisch.fr) identity=mailfrom; client-ip=212.27.42.3;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp3-g21.free.fr) identity=helo;
  client-ip=212.27.42.3;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="alain@frisch.fr";
  x-sender="postmaster@smtp3-g21.free.fr";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AuwAAE/oQFHUGyoDe2dsb2JhbABDhQm/UIFZFg4BARYmAyWCKgEBBThAARALGAkWDwkDAgECAUUTAQcBAYgUCMM8jw0HFoMqA5ZWhXuOBg
X-IPAS-Result: AuwAAE/oQFHUGyoDe2dsb2JhbABDhQm/UIFZFg4BARYmAyWCKgEBBThAARALGAkWDwkDAgECAUUTAQcBAYgUCMM8jw0HFoMqA5ZWhXuOBg
X-IronPort-AV: E=Sophos;i="4.84,840,1355094000"; 
   d="scan'208";a="6006816"
Received: from smtp3-g21.free.fr ([212.27.42.3])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 13 Mar 2013 22:02:27 +0100
Received: from [192.168.0.10] (unknown [78.192.0.38])
	by smtp3-g21.free.fr (Postfix) with ESMTP id 21A1AA62EA;
	Wed, 13 Mar 2013 22:02:23 +0100 (CET)
Message-ID: <5140E960.1070202@frisch.fr>
Date: Wed, 13 Mar 2013 22:02:24 +0100
From: Alain Frisch <alain@frisch.fr>
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:17.0) Gecko/20130307 Thunderbird/17.0.4
MIME-Version: 1.0
To: jon@ffconsultancy.com
CC: caml-list@inria.fr
References: <00ba01ce200c$d23f1910$76bd4b30$@ffconsultancy.com> <5140BD88.7090905@frisch.fr> <010f01ce2023$217baaa0$6472ffe0$@ffconsultancy.com>
In-Reply-To: <010f01ce2023$217baaa0$6472ffe0$@ffconsultancy.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] Case study in optimization: porting a compiler from
 OCaml to F#

On 3/13/2013 8:44 PM, Jon Harrop wrote:
> * No need to replace exceptions in OCaml.

It depends.  If you compile in debug mode and run with backtrace 
enabled, exceptions are not so fast any more.

> * No need to replace printf and friends in OCaml.

Printf can be quite slow.  Format direct-style as well.  And 
Format.printf is even worse.

( http://www.lexifi.com/blog/note-about-performance-printf-and-format )


Alain