Discussion :

[maryooman]

Bonjour,

Je cherche à utiliser Hashtbl.make pour faire un module de table associative.

Je l'ai déjà fait avec le type suivant :

Code :

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

type ('key, 'value) table = ('key, 'value) Hashtbl.t;;

Voici la signature du module

Code :

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

1
2
3
4
5
6
7
module type ASSOC =
sig
  type ('a, 'b) table
  val create : unit -> ('a, 'b) table
  val find : ('a, 'b) table -> 'a -> 'b option
  val add : ('a, 'b) table -> 'a -> 'b -> unit
end

Mais je ne comprends pas trop l'utilisation du .make



merci

[Cacophrene]

Bonsoir,

Le module Hashtbl d'OCaml propose deux manières d'utiliser les tables de hachage : une méthode directe avec les fonctions telles que Hashtbl.create, et une méthode qui passe par l'utilisation d'un foncteur, en l'occurrence Hashtbl.Make. Un exemple d'utilisation du foncteur :

Code :

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

1
2
3
4
5
6
7
8
9
module HashedInt =
  struct
    type t = int
    let equal = ( = )
    let hash = Hashtbl.hash
  end

module IntHtbl = Hashtbl.Make(HashedInt)

Le module IntHtbl ainsi créé possède la signature Hashtbl.S avec IntHtbl.key = HashedInt.t = int.


Cordialement,
Cacophrène