Discussion :

[gorgonite]

Bonjour,


J'ai un peu de mal à comprendre comment on peut se servir de Set.Make en F#

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
 
module MonModule =
   type t = ...
   let create () : t = ...
   let compare (x:t) (y:t) : int = compare x y
 
let MonModuleSetProvider = Set.Make MonModule.compare
 
MonModuleSetProvider.add (MonModule.create ()) Set.empty

et je me fais déjà insulter à cause de l'incompatiblité Tagged.Set<MonModule.t,System.Collections.Generic.IComparer<MonModule.t>> et MonModule.t

[LLB]

J'avais écris cet exemple minimaliste il y a quelque temps :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
// Set.Make returns a set of functions
let AbsSet = Set.Make(fun x y -> compare (abs x) (abs y))
let set_of_list l =
    List.fold_left (fun s e -> AbsSet.add e s) AbsSet.empty l
set_of_list [-2; 5; 2; 4]

Dans ton code, remplace "Set.empty" par "MonModuleSetProvider.empty". Le reste me semble correct.

[gorgonite]

Dans ton code, remplace "Set.empty" par "MonModuleSetProvider.empty". Le reste me semble correct.

effectivement, ça marche... si simple, et pourtant je sèche depuis une heure dessus

[LLB]

Ce qui m'a étonné, c'est le message d'erreur que tu indiques.
Quand j'ai testé (avec des int, au lieu de t), il m'a dit

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
stdin(16,38): error FS0001: This expression has type
	Set<'a>
but is here used with type
	Tagged.Set<int,System.Collections.Generic.IComparer<int>>.

Pour avoir un Tagged.Set, il faut passer par le provider.