Je tente de simuler une interface dans OCaml et j'utilise la construction "type". J'ai deux types:Types OCaml avec différents niveaux de spécificité
type fooSansBar = {a: string; b: int};;
type fooConBar = {a:string; b:int; bar:char};;
... et je voudrais définir un fooSansBar particulier:
let fsb = {a="a"; b=3};;
... mais on me dit que le champ de la barre n'est pas défini. À partir de là, il semble que, contrairement aux valeurs que j'ai réussi à faire correspondre la signature de fooSansBar, le système pense que j'essaie de créer un fooConBar. Est-il possible de créer un fooSansBar si les deux types définis ci-dessus existent?
En outre (parce que je suis nouveau à OCaml) existe-t-il une meilleure façon de simuler une interface?