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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id A4C757F8A0 for ; Tue, 8 Apr 2014 05:42:49 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of johan.mazel@gmail.com) identity=pra; client-ip=209.85.160.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="johan.mazel@gmail.com"; x-sender="johan.mazel@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of johan.mazel@gmail.com designates 209.85.160.42 as permitted sender) identity=mailfrom; client-ip=209.85.160.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="johan.mazel@gmail.com"; x-sender="johan.mazel@gmail.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@mail-pb0-f42.google.com) identity=helo; client-ip=209.85.160.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="johan.mazel@gmail.com"; x-sender="postmaster@mail-pb0-f42.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApcBACRvQ1PRVaAqlGdsb2JhbABZFoMrV4JLuGeIdoEYCBYOAQEBAQcLCwkSKoIcUAEbHgMSCAECBV0BEQEFASIbh1wBAxENmVKDDoxfgw6XCgoZJw1khgcRAQUMjGGBeYRDBIlZjwOBNI8dGCmEbS4 X-IPAS-Result: ApcBACRvQ1PRVaAqlGdsb2JhbABZFoMrV4JLuGeIdoEYCBYOAQEBAQcLCwkSKoIcUAEbHgMSCAECBV0BEQEFASIbh1wBAxENmVKDDoxfgw6XCgoZJw1khgcRAQUMjGGBeYRDBIlZjwOBNI8dGCmEbS4 X-IronPort-AV: E=Sophos;i="4.97,815,1389740400"; d="scan'208";a="56059050" Received: from mail-pb0-f42.google.com ([209.85.160.42]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 08 Apr 2014 05:42:48 +0200 Received: by mail-pb0-f42.google.com with SMTP id rr13so403813pbb.15 for ; Mon, 07 Apr 2014 20:42:47 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to:content-type; bh=N0GUulWz01U1cUsnj2/qUzq7E91s9mSFAbKLcY7kScw=; b=OkKRFFi61e4jnn4hiJX0hYv+r9VtP0ckZ1wiGZXrdORCReQmnCdfGVrloEdelbXEDl qXfHd1MuuNJY+SqVSJ72O58adSwz7tPnsh7PSYR9mgoO8Fcqgbb3Zx5++h07xnIr03Ta lrp7XcRtRQagsBXn+PCt9HpFN4BG8wG8BhI8gk8kElh8lRPjjSx9XxhtQkrqFC4Kk+Zi /Wc/boQ02K8vL0Dw8kN++NNO0+zOi4507i7ZSAGkc0gas+/aXjdwCEsFES5tsIfaApmF wOAnXv/WwNxYYyXKSo0NEx2eU6Xjkx3yFTIAGGYq3cZK80WUWvLW3akJtDcrDTAHiuAv MJqw== X-Received: by 10.67.5.7 with SMTP id ci7mr1410261pad.99.1396928567112; Mon, 07 Apr 2014 20:42:47 -0700 (PDT) MIME-Version: 1.0 Received: by 10.66.149.2 with HTTP; Mon, 7 Apr 2014 20:42:25 -0700 (PDT) From: Johan Mazel Date: Tue, 8 Apr 2014 12:42:25 +0900 Message-ID: To: OCaml Mailing List Content-Type: multipart/alternative; boundary=047d7b16013f04fd4a04f67fc7f6 Subject: [Caml-list] Hashset implementation --047d7b16013f04fd4a04f67fc7f6 Content-Type: text/plain; charset=ISO-8859-1 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 --047d7b16013f04fd4a04f67fc7f6 Content-Type: text/html; charset=ISO-8859-1
Hi
I want to use hashset in OCaml.
I found these two implemtetations:
Is there anything else available somewhere ?
Regards
Johan
--047d7b16013f04fd4a04f67fc7f6-- 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 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-- 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 8522A7F8A0 for ; Tue, 8 Apr 2014 08:23:09 +0200 (CEST) Received-SPF: Neutral (mail2-smtp-roc.national.inria.fr: domain of simon.cruanes.2007@m4x.org does not assert whether or not 129.104.30.34 is permitted sender) identity=pra; client-ip=129.104.30.34; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="SRS0=pGnC=ZI=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="simon.cruanes.2007@m4x.org"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of SRS0=pGnC=ZI=m4x.org=simon.cruanes.2007@bounces.m4x.org designates 129.104.30.34 as permitted sender) identity=mailfrom; client-ip=129.104.30.34; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="SRS0=pGnC=ZI=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="SRS0=pGnC=ZI=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@mx1.polytechnique.org designates 129.104.30.34 as permitted sender) identity=helo; client-ip=129.104.30.34; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="SRS0=pGnC=ZI=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="postmaster@mx1.polytechnique.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Au4EANuUQ1OBaB4inGdsb2JhbABZFoMrg2GqHo4JEIhhAwKBHBYOAQEBAQEICwkJFCiCHAkBAQEEIw8BOxsLAwEUDR0CAiEkEgYBEhKHUwMRBAmoLZsrAwqGaxeMURyBeYJ6gUkElm+BbYE0hR6GH4kB X-IPAS-Result: Au4EANuUQ1OBaB4inGdsb2JhbABZFoMrg2GqHo4JEIhhAwKBHBYOAQEBAQEICwkJFCiCHAkBAQEEIw8BOxsLAwEUDR0CAiEkEgYBEhKHUwMRBAmoLZsrAwqGaxeMURyBeYJ6gUkElm+BbYE0hR6GH4kB X-IronPort-AV: E=Sophos;i="4.97,816,1389740400"; d="scan'208,217";a="67010497" Received: from mx1.polytechnique.org ([129.104.30.34]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 08 Apr 2014 08:23:09 +0200 Received: from [192.168.0.10] (mna75-4-82-225-76-110.fbx.proxad.net [82.225.76.110]) (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by ssl.polytechnique.org (Postfix) with ESMTPSA id 11E8314091323; Tue, 8 Apr 2014 08:23:08 +0200 (CEST) User-Agent: K-9 Mail for Android In-Reply-To: References: MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----Z0WHH3QY0H7XKZTRS486GNZBILMSEG" Content-Transfer-Encoding: 8bit From: Simon Cruanes Date: Tue, 08 Apr 2014 08:23:04 +0200 To: Johan Mazel ,OCaml Mailing List Message-ID: X-AV-Checked: ClamAV using ClamSMTP at svoboda.polytechnique.org (Tue Apr 8 08:23:08 2014 +0200 (CEST)) X-Spam-Flag: No, tests=bogofilter, spamicity=0.000100, queueID=5FB9A14091324 X-Org-Mail: simon.cruanes.2007@polytechnique.org Subject: Re: [Caml-list] Hashset implementation ------Z0WHH3QY0H7XKZTRS486GNZBILMSEG Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset=UTF-8 Hi, the standard Hashtbl can be used as a basic hashset (using unit as values and the set elements as keys) for simple uses. It won't provide intersection or union, though. On 8 avril 2014 05:42:25 UTC+02:00, 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 > >-- >Caml-list mailing list. Subscription management and archives: >https://sympa.inria.fr/sympa/arc/caml-list >Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >Bug reports: http://caml.inria.fr/bin/caml-bugs -- Simon ------Z0WHH3QY0H7XKZTRS486GNZBILMSEG Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: 8bit Hi, the standard Hashtbl can be used as a basic hashset (using unit as values and the set elements as keys) for simple uses. It won't provide intersection or union, though.

On 8 avril 2014 05:42:25 UTC+02:00, Johan Mazel <johan.mazel@gmail.com> wrote:
Hi
I want to use hashset in OCaml.
I found these two implemtetations:
Is there anything else available somewhere ?
Regards
Johan

--
Simon ------Z0WHH3QY0H7XKZTRS486GNZBILMSEG--