Discussion :

[chlab]

Bonjour à tous, j'ai un problème dans un programme que j'écris :
il concernes l'arbre des coups :

Code :

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

type abrDeCoup = PasDePlateau | int * case array array | Noeud of case array array * abrDeCoup list;;

En fait je voudrai dire :
soit il n'y a pas de coup à jouer
soit l'ordi a un coup affecté d'une note pour ce coup, et ne vas pas plus loin dans la recherche de coup
soit il a un coup qui débouche sur tous les autres coups possibles.

c'est le type "int * case array array" qui pose problème. Je l'ai rajouté dans une nouvelle version de mon programme, mais maintenant ça ne marche plus
Quelqu'un pourrait-il m'expliquer l'erreur ?
Merci de votre attention !

[SpiceGuid]

ce genre de types s'appelle un type algébrique et en général on l'écrit en 3 étapes.

étape n°1, tu énumère tous les constructeurs possibles (leur nom doit commencer par une lettre majuscule) :

Code :

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

1
2
3
4
5
6
7
type arithmetic =
  | Int
  | Neg
  | Add
  | Sub
  | Mul
  | Div

étape n°2, tu complète chaque constructeur avec un type produit (qui est l'information dont chaque cas a besoin pour être déconstruit) :

Code :

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

1
2
3
4
5
6
7
type arithmetic =
  | Int of int
  | Neg of arithmetic
  | Add of arithmetic * arithmetic
  | Sub of arithmetic * arithmetic
  | Mul of arithmetic * arithmetic
  | Div of arithmetic * arithmetic

étape n°3, ce même type peut être détruit (c'est-à-dire placé à gauche de l'opérateur → ) à l'aide de function (ou de match) :

Code :

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

1
2
3
4
5
6
7
let rec eval = function
  | Int n -> n
  | Neg a -> - eval a
  | Add(a,b) -> eval a + eval b
  | Sub(a,b) -> eval a - eval b
  | Mul(a,b) -> eval a * eval b
  | Div(a,b) -> eval a / eval b

cette façon de concevoir est un peu analogue à la méthode UML (repérage des classes, puis des attributs-membres, puis des fonctions-membres).
la principale différence c'est qu'en Caml la cohérence de ta conception est vérifiée par le système de typage.

[chlab]

merci pour ta réponse !