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