From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 237637F8A0 for ; Tue, 8 Apr 2014 06:02:07 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of tcui@janestreet.com) identity=pra; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="tcui@janestreet.com"; x-sender="tcui@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of tcui@janestreet.com designates 38.105.200.229 as permitted sender) identity=mailfrom; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="tcui@janestreet.com"; x-sender="tcui@janestreet.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mxout3.mail.janestreet.com) identity=helo; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="tcui@janestreet.com"; x-sender="postmaster@mxout3.mail.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmoBABF0Q1MmacjlnGdsb2JhbABZFoMrV7syiHaBGR4OAQEBAQEGFgk8giUBAQEDAUABATcBBAsLBAEGOyEBEgEFARwGE4dlAwkIAwIInGeLGIRVAQWXTg2GaxEGjFEcgXkEB4Q4iV2NFoFtgTSLPYNgGCmEaw X-IPAS-Result: AmoBABF0Q1MmacjlnGdsb2JhbABZFoMrV7syiHaBGR4OAQEBAQEGFgk8giUBAQEDAUABATcBBAsLBAEGOyEBEgEFARwGE4dlAwkIAwIInGeLGIRVAQWXTg2GaxEGjFEcgXkEB4Q4iV2NFoFtgTSLPYNgGCmEaw X-IronPort-AV: E=Sophos;i="4.97,815,1389740400"; d="scan'208";a="56060071" Received: from mx5.janestreet.com (HELO mxout3.mail.janestreet.com) ([38.105.200.229]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 08 Apr 2014 06:02:06 +0200 Received: from tot-oib-smtp1.delacy.com ([172.27.22.15] helo=tot-smtp) by mx5.mail.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1WXNEY-0006cw-A9 for caml-list@inria.fr; Tue, 08 Apr 2014 00:02:02 -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 1WXNEY-00046c-8i for caml-list@inria.fr; Tue, 08 Apr 2014 00:02:02 -0400 Received: from mail-we0-f169.google.com ([74.125.82.169]) by mxgoog2.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1WXNEY-0003EU-4u for caml-list@inria.fr; Tue, 08 Apr 2014 00:02:02 -0400 Received: by mail-we0-f169.google.com with SMTP id w62so354407wes.0 for ; Mon, 07 Apr 2014 21:02:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=naiVmqwbu2fsXIGgv7Ar05kBbv7tSFE6exGrX1Y2P/E=; b=pvpGJ8ajioQ8J/ZDmsioWfohOvJXcgkqkUArKz/UrLbZekrk93JosvnFh3+AF0VsT9 sjnKKLKiEsDQtyKkCvDO2qNA/Jdga3UIjkg+/+NuNxMT756R6HZn33zi9lOBBsdKSj8F QMHD6inQMLWJFA/cnhEOqXIx+UoAPStr0HPt4= 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:from:date :message-id:subject:to:cc:content-type; bh=naiVmqwbu2fsXIGgv7Ar05kBbv7tSFE6exGrX1Y2P/E=; b=Bv6D1YDiRjSZgYrjAZnqxEqpAHcmKrg6gYOFfch2R6QGosUyp9U6V+6zsgQ1vMv7b+ SkvAtuH8bTQt7RTSUwt7Pc38aU7z3wpX2WuUfdTwUr5MnYPDy4A2gfec4ceHY7tB54cH fPVWXNG0gS0e+QWcebEXPBSFNPPUa+UPfqm0Zrn7kvs1cXkdSxsjEXstox5S/LoNz+/P FsQIlU5jMnEkJbhw2Hqd/qeI0tdQhgRuCKHSkSsVIH34hqqhpmXaFfrGOhikCntjJOxB 3sjNHOwjYi/COxWDwcDZeqBey1NUy0vGBAj+RtraH+ESSpndplERdFmGfyd3cyuhszWs 56gQ== X-Gm-Message-State: ALoCoQmeedHuG2e4/jbT6smyG1hPSDFetNgfarn/OaUeezvaEIib60RAt9qU7g5qHuFN1ImJ+NHHmPfbQwq+/CZiIpv6RSMUMA4P59Ny3wFgkDRVZs8BlrMCEZBqKPq/eRvYM5ClV2YP X-Received: by 10.180.89.102 with SMTP id bn6mr29476239wib.28.1396929721637; Mon, 07 Apr 2014 21:02:01 -0700 (PDT) X-Received: by 10.180.89.102 with SMTP id bn6mr29476233wib.28.1396929721566; Mon, 07 Apr 2014 21:02:01 -0700 (PDT) MIME-Version: 1.0 Received: by 10.194.110.138 with HTTP; Mon, 7 Apr 2014 21:01:21 -0700 (PDT) In-Reply-To: References: From: Tianyi Cui Date: Tue, 8 Apr 2014 12:01:21 +0800 Message-ID: To: Johan Mazel Cc: OCaml Mailing List Content-Type: multipart/alternative; boundary=f46d04447e75d4a06604f6800b16 X-Sender-Copy: hkg-copy Subject: Re: [Caml-list] Hashset implementation --f46d04447e75d4a06604f6800b16 Content-Type: text/plain; charset=ISO-8859-1 If you're willing to consider an alternative standard library, you can try Core (https://github.com/janestreet/core). It includes hash set ( https://ocaml.janestreet.com/ocaml-core/111.03.00/doc/core/#Hash_set) and many more goodies. On Tue, Apr 8, 2014 at 11:42 AM, Johan Mazel wrote: > Hi > I want to use hashset in OCaml. > I found these two implemtetations: > *https://www.lri.fr/~filliatr/ftp/ocaml/ds/hashset.ml.html > *http://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=504 > Is there anything else available somewhere ? > Regards > Johan > --f46d04447e75d4a06604f6800b16 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
If you're willing to consider an alternative standard = library, you can try Core (https://github.com/janestreet/core). It includes hash = set (https://ocaml.janestreet.com/ocaml-core/111.03.00/doc/core/#Hash= _set) and many more goodies.


On Tue, Apr 8= , 2014 at 11:42 AM, Johan Mazel <johan.mazel@gmail.com> = wrote:
Hi
I want to use hashse= t in OCaml.
I found these two implemtetations:
*http://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=3D504<= /div>
Is there anything else available somewhere ?
Regards
Johan

--f46d04447e75d4a06604f6800b16--