Re: [Ocaml-lib-devel] Map with set operations over the keys

[Christophe R. <Chr...@un...>]

> 
> 
> After a second though I think it's little overweighted to make the user
> specify a merge function. Why not simply specify that in such cases, the
> item of the first map is selected ? That seems more reasonable.
> 

No, you can for instance implement multiset as map to natural ... and
the merge function is then addition.

Your merge function should even raise the exception Remove when you want
to say that the result should be removed from the map ... (For insance,
if you have Map to integer and want to say that 0 should be removed from
the map).


> Nicolas
> 

-- 
Christophe Raffalli
Université de Savoie
Batiment Le Chablais, bureau 21
73376 Le Bourget-du-Lac Cedex

tél: (33) 4 79 75 81 03
fax: (33) 4 79 75 87 42
mail: Chr...@un...
www: http://www.lama.univ-savoie.fr/~RAFFALLI
---------------------------------------------
IMPORTANT: this mail is signed using PGP/MIME
At least Enigmail/Mozilla, mutt or evolution
can check this signature. The public key is
stored on www.keyserver.net
---------------------------------------------