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 2F3FC7EE5B for ; Tue, 13 May 2014 18:57:14 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jdimino@janestreet.com) identity=pra; client-ip=38.105.200.115; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="jdimino@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of jdimino@janestreet.com designates 38.105.200.115 as permitted sender) identity=mailfrom; client-ip=38.105.200.115; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="jdimino@janestreet.com"; 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@mxout1.mail.janestreet.com) identity=helo; client-ip=38.105.200.115; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="postmaster@mxout1.mail.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmgBADJOclMmachznGdsb2JhbABZhC2CZ8MWAYEaHg4BAQEBAQYWCTyCHAkBAQQBIx0BATcBBAsLAwEHNwICIQESAQUBHAYTiC0DCQgDAp98ixp3g14BBZA9DYZUEQaMOYIVB4J1gUuXYYFzjSeDeBgphGc X-IPAS-Result: AmgBADJOclMmachznGdsb2JhbABZhC2CZ8MWAYEaHg4BAQEBAQYWCTyCHAkBAQQBIx0BATcBBAsLAwEHNwICIQESAQUBHAYTiC0DCQgDAp98ixp3g14BBZA9DYZUEQaMOYIVB4J1gUuXYYFzjSeDeBgphGc X-IronPort-AV: E=Sophos;i="4.97,1044,1389740400"; d="scan'208";a="73479614" Received: from mxout2.mail.janestreet.com (HELO mxout1.mail.janestreet.com) ([38.105.200.115]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 13 May 2014 18:57:13 +0200 Received: from tot-smtp.delacy.com ([172.27.22.15] helo=tot-smtp) by mxout1.mail.janestreet.com with esmtps (TLSv1.2:DHE-RSA-AES256-GCM-SHA384:256) (Exim 4.82) (envelope-from ) id 1WkG0u-0001SS-3P for caml-list@inria.fr; Tue, 13 May 2014 12:57:12 -0400 Received: from tot-dmz-mxgoog1.delacy.com ([172.27.224.14] helo=mxgoog2.janestreet.com) by tot-smtp with esmtps (TLSv1:AES256-SHA:256) (Exim 4.72) (envelope-from ) id 1WkG0u-000139-0O for caml-list@inria.fr; Tue, 13 May 2014 12:57:12 -0400 Received: from mail-ie0-f169.google.com ([209.85.223.169]) by mxgoog2.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1WkG0t-00086x-UE for caml-list@inria.fr; Tue, 13 May 2014 12:57:11 -0400 Received: by mail-ie0-f169.google.com with SMTP id lx4so602180iec.0 for ; Tue, 13 May 2014 09:57:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=nmhy2skaKpz4uNbW0jp5FjaFlCUxXjrvbegw9oDqxkc=; b=kiUbGelGQpvaE4m+qjdu+UO3QX7rjEh2EWlJODu9JE/zv8Q6263ml/ibawCWn9B5H/ Cb8wSeGf2l+ZxAk+WHspYqq4px1Y1M6FeoaERNvVvG0bbKJfCFyE3aYQvJ1vRRJLsNe7 8FdSBRme7BTl8J3VRJZ7L0036IeRYryo9rFOU= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc:content-type; bh=nmhy2skaKpz4uNbW0jp5FjaFlCUxXjrvbegw9oDqxkc=; b=CcHw3hgKGDIqv5qir0Be3wirnRMWS7294hOxlCvs8UrD5VR9Kd60MrCoLaznDYCzzw HMCumsjUuaJM+8QmFOF9CZsdAlqB2R20arrggpPhwY6jezR+zhXmhnpGOxEZB+2X02QS cIUtnhsL+DhsUPQJpdiUWCuWIvj5ar/OHhLDUZRBhqKepdRLmiBNzjUJF2oCxFOAQ2yh kj/XVwY2N+GhmOoupITENzKiaCrQ8CwlNiPCta06JgtTOsldigdsNdRIx3yx0U62A+Cx rnycvWOHphhanU/GrjkHfH1nICobpoeRwvlowkxcni/PW+q+82EYDJ+dzxdRsZX/eB4J EFBA== X-Gm-Message-State: ALoCoQm8VBApSC48g3eB2/ceKX8oYMh/6415SuBKqmioVoFT0KsgGmr4LnchATflSm8chkSuzNBelhdV2TJryo297O8DrTqbiMSGfSOtMIIzVx82ARjlVXUEAeAUhC4K2JQrYqQk59jV X-Received: by 10.50.153.8 with SMTP id vc8mr6623670igb.16.1400000231657; Tue, 13 May 2014 09:57:11 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.50.153.8 with SMTP id vc8mr6623655igb.16.1400000231533; Tue, 13 May 2014 09:57:11 -0700 (PDT) Received: by 10.50.117.40 with HTTP; Tue, 13 May 2014 09:57:11 -0700 (PDT) In-Reply-To: References: Date: Tue, 13 May 2014 17:57:11 +0100 Message-ID: From: Jeremie Dimino To: =?UTF-8?Q?Milan_Stanojevi=C4=87?= Cc: Caml List Content-Type: multipart/alternative; boundary=089e014954247c94ce04f94af41d Subject: Re: [Caml-list] open extensible types representation --089e014954247c94ce04f94af41d Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable On Tue, May 13, 2014 at 5:39 PM, Milan Stanojevi=C4=87 = wrote: > How are these unique identifiers created? > They are created at runtime by incrementing a global counter, using the same function as for objects. > Is matching done by doing binary search on them? No, the ordering is not known at compile time. --=20 Jeremie --089e014954247c94ce04f94af41d Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
On T= ue, May 13, 2014 at 5:39 PM, Milan Stanojevi=C4=87 <milanst@gmail.com&= gt; wrote:
How are these unique identifiers created?

They are created at runtime by incrementi= ng a global counter, using the same function as for objects.
=C2=A0
Is matching done by doing binary search on them?

No, the ordering is not known at compile time.

--
Jeremie
--089e014954247c94ce04f94af41d--