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 B00177F009 for ; Wed, 25 May 2016 21:26:19 +0200 (CEST) IronPort-PHdr: 9a23:2Ccn5xeRpQqGL3Lej/FtZbT8lGMj4u6mDksu8pMizoh2WeGdxc+4Zh7h7PlgxGXEQZ/co6odzbGG4ua8AidZu8nJmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbviqtuPOE4R3mX1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu3SNp41Rr1ADTkgL3t9pIiy7UGCHkOz4S4ySGwQmR1JGEDv4Qv3WJj8qGOuuPB03iKdPNawR70uVDKt4r1DSRnyiS5BOSRvo1vakshhsKUOqhW7pgdX0ofXZ4uSK+F9f+XaZ9xJa3BGW5N7UDZAGcuNZogIBe0eJuVZ5933oEEPtjOvDAqrDuTw0TxJwHjs0vtpgKwaDQja0Vl4TJo1u3POoYCwbf9KXA== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=boris@yakobowski.org; spf=Pass smtp.mailfrom=boris@yakobowski.org; spf=None smtp.helo=postmaster@2.mo2.mail-out.ovh.net Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of boris@yakobowski.org) identity=pra; client-ip=188.165.53.149; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="boris@yakobowski.org"; x-sender="boris@yakobowski.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of boris@yakobowski.org designates 188.165.53.149 as permitted sender) identity=mailfrom; client-ip=188.165.53.149; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="boris@yakobowski.org"; x-sender="boris@yakobowski.org"; 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@2.mo2.mail-out.ovh.net) identity=helo; client-ip=188.165.53.149; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="boris@yakobowski.org"; x-sender="postmaster@2.mo2.mail-out.ovh.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BHAQAe/EVXgJU1pbxchQoGtHqGf4YRAoE9BzsRAQEBAQEBAQERAQEJDQkJIS+CLoIVAQEBAwESEVYFCwsEBw0qAgIiEgEFARwGEyKIBQgEpBOBMT4xizuGI4sqAQEBAQEBBAEBAQEBASGKc4dAglkFmDeOIGaONo4NEh6BDzaCMR2BTWyKBwEBAQ X-IPAS-Result: A0BHAQAe/EVXgJU1pbxchQoGtHqGf4YRAoE9BzsRAQEBAQEBAQERAQEJDQkJIS+CLoIVAQEBAwESEVYFCwsEBw0qAgIiEgEFARwGEyKIBQgEpBOBMT4xizuGI4sqAQEBAQEBBAEBAQEBASGKc4dAglkFmDeOIGaONo4NEh6BDzaCMR2BTWyKBwEBAQ X-IronPort-AV: E=Sophos;i="5.26,365,1459807200"; d="scan'208,217";a="179015886" Received: from 2.mo2.mail-out.ovh.net ([188.165.53.149]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 25 May 2016 21:26:09 +0200 Received: from player731.ha.ovh.net (b9.ovh.net [213.186.33.59]) by mo2.mail-out.ovh.net (Postfix) with ESMTP id 81CD2FF9CC3 for ; Wed, 25 May 2016 21:26:05 +0200 (CEST) Received: from mail-lf0-f44.google.com (mail-lf0-f44.google.com [209.85.215.44]) (Authenticated sender: boris@yakobowski.org) by player731.ha.ovh.net (Postfix) with ESMTPSA id 522FF420079; Wed, 25 May 2016 21:26:04 +0200 (CEST) Received: by mail-lf0-f44.google.com with SMTP id e131so22451728lfb.0; Wed, 25 May 2016 12:26:04 -0700 (PDT) X-Gm-Message-State: ALyK8tLfqgHvTHtDcmrEjvkqubBymPIuSp6gDzFgBlaDMpcdqq4Jhc0Se92KILJQQ5B8ufGhb/7WfM8wkx2qrg== X-Received: by 10.194.22.8 with SMTP id z8mr5438593wje.102.1464204363727; Wed, 25 May 2016 12:26:03 -0700 (PDT) MIME-Version: 1.0 Reply-To: boris@yakobowski.org Received: by 10.194.137.84 with HTTP; Wed, 25 May 2016 12:25:43 -0700 (PDT) In-Reply-To: <5745A683.2050108@inria.fr> References: <965631B03C670145ABB9F693E51622530D1279D7@DENBGAT9EK5MSX.ww902.siemens.net> <5745A683.2050108@inria.fr> From: Boris Yakobowski Date: Wed, 25 May 2016 21:25:43 +0200 X-Gmail-Original-Message-ID: Message-ID: To: Francois Berenger Cc: The Caml Mailing List Content-Type: multipart/alternative; boundary=047d7b5d350afac9480533afa417 X-Ovh-Tracer-Id: 18180187273675061350 X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: -100 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeekledrgeefgddufeefucetufdoteggodetrfdotffvucfrrhhofhhilhgvmecuqfggjfenuceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddm X-Validation-by: boris@yakobowski.org Subject: Re: [Caml-list] Hash consed Patricia trees --047d7b5d350afac9480533afa417 Content-Type: text/plain; charset=UTF-8 On Wed, May 25, 2016 at 3:20 PM, Francois Berenger < francois.berenger@inria.fr> wrote: > On 25/05/2016 14:29, Boris Yakobowski wrote: > >> If this kind of caching may be useful to you, the files hptmap*.ml* of >> Frama-C provides very nice iterators and abstractions. >> > > It might even be useful to have this data structure in opam provided as a > standalone library. > I agree, but the devil lurks in the details. Currently, these modules depend on a Frama-C abstraction for (OCaml) types, which would need to be exported as a library first. This is turns requires more things: Frama-C logging infrastructure, Frama-C's notion of "projects", etc. Simply parameterizing the library by all those modules would result in a functor with maybe 8 or 9 arguments -- with only 3 being really "useful". If there is a strong interest in this library, we can try to parameterize the current functor by the few _functions_ that are really required, and use a wrapper above this version in Frama-C. People at OCamlPro are currently looking at the functionalities of the library for the Secure-OCaml project. This may give us a further incentive. (There is also the fact that we cannot resist slightly changing the APIs at least once per version!) -- Boris --047d7b5d350afac9480533afa417 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
On W= ed, May 25, 2016 at 3:20 PM, Francois Berenger <francois.berenger= @inria.fr> wrote:
On 25/05/2016 14:29, Boris Yakobowski wrote:
If this kind of caching may be useful to you, the f= iles hptmap*.ml* of
Frama-C provides very nice iterators and abstractions.

It might even be useful to have this data structure in opam provided as a s= tandalone library.

I agree, but the dev= il lurks in the details. Currently, these modules depend on a Frama-C abstr= action for (OCaml) types, which would need to be exported as a library firs= t. This is turns requires more things: Frama-C logging infrastructure, Fram= a-C's notion of "projects", etc. Simply parameterizing the li= brary by all those modules would result in a functor with maybe 8 or 9 argu= ments -- with only 3 being really "useful".

If = there is a strong interest in this library, we can try to parameterize the = current functor by the few _functions_ that are really required, and use a = wrapper above this version in Frama-C. People at OCamlPro are currently lo= oking at the functionalities of the library for the Secure-OCaml project. T= his may give us a further incentive.

(There is= also the fact that we cannot resist slightly changing the APIs at least on= ce per version!)


--
Boris
--047d7b5d350afac9480533afa417--