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=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr 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 A73E5BBCA for ; Sat, 26 Apr 2008 16:44:40 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: At4AAFPcEkiBaB4io2dsb2JhbACBU5AGAQEBAQEBBwUIBxGYTA X-IronPort-AV: E=Sophos;i="4.25,710,1199660400"; d="scan'208";a="10100719" Received: from mx1.polytechnique.org ([129.104.30.34]) by mail2-smtp-roc.national.inria.fr with ESMTP; 26 Apr 2008 16:44:40 +0200 Received: from pilki.local (AAubervilliers-752-1-8-48.w90-35.abo.wanadoo.fr [90.35.219.48]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by ssl.polytechnique.org (Postfix) with ESMTP id 9B9493316A for ; Sat, 26 Apr 2008 16:44:39 +0200 (CEST) From: Alexandre Pilkiewicz To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Announce: xsetxmap, unfunctorized, Sexp-lib awareversions of Set and Map Date: Sat, 26 Apr 2008 16:44:43 +0200 User-Agent: KMail/1.9.9 References: <480C60DF.9010000@exalead.com> <480F38D7.4050503@janestcapital.com> <008b01c8a549$e6fa0600$017ca8c0@countertenor> In-Reply-To: <008b01c8a549$e6fa0600$017ca8c0@countertenor> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Message-Id: <200804261644.43358.Alexandre.Pilkiewicz@polytechnique.org> X-AV-Checked: ClamAV using ClamSMTP at djali.polytechnique.org (Sat Apr 26 16:44:39 2008 +0200 (CEST)) X-Org-Mail: alexandre.pilkiewicz.2004@polytechnique.org X-Spam: no; 0.00; stdlib:01 mli:01 struct:01 pervasives:01 elt:01 pervasives:01 0.18:98 caml-list:01 int:01 int:01 let:03 let:03 ecrit:06 differences:06 000:92 Le Wednesday 23 April 2008 15:56:47 David Allsopp, vous avez =E9crit=A0: > All that said, and especially as StdLib changes are reasonably rare, I fi= nd > having files IntSet.ml and IntSet.mli containing: > > include Set.Make(struct type t =3D int let compare =3D Pervasives.compare= end) > > and > > include Set.S with type elt =3D int One should probably use an other function than Pervasives.compare in that=20 case. Some "benchmarks" show that 100 000 000 uses of comp with different=20 definitions lead to some important differences for performance let comp =3D compare =20 =2D> 1,54s let comp (i:int) (j:int) =3D compare i j =2D> 0.7s let comp (i:int) (j:int) =3D=20 if i =3D j then 0 else if i < j then -1 else 1 =2D> 0.18s =2D-=20 Alexandre Pilkiewicz