Discussion :

[alamako]

bonjour à tous. Je veux créer un enregistrement avec un champ de type (unit -> unit) si quelqu'un à des idées, merci de me les faire part.

[gasche]

Quel est ton problème ?

Code ocaml :

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

1
2
3
type enregistrement = { a : int; b : unit -> unit }
 
let test = { a = 1; b = (fun () -> print_endline "Hello World !") }

[alamako]

Merci beaucoup de votre aide. J'ai un blem ds la definition de cette fonction:

let get_action = enregistrement.b <- fun ()

en fait je veux savoir cmt créer une fonction qui affecte une autre fonction à un champ de mon enregistrement

[Cacophrene]

Bonjour !

en fait je veux savoir cmt créer une fonction qui affecte une autre fonction à un champ de mon enregistrement

Le plus simplement du monde, comme s'il s'agissait de n'importe quel type de valeur :

Code :

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

1
2
3
4
type foo = { mutable func : unit -> unit }

let set_action f foo = foo.func <- f

La fonction set_action possède la signature attendue :

Code :

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

1
2
val set_action : (unit -> unit) -> foo -> unit

Cordialement,
Cacophrène