les enregirement en ocaml

Bonsoir,

Je souhaite coder une fonction qui crée et enregistre aléatoirement une personne (create_body) si l'identifient de la personne n'existe pas présente, si l'identifient existe la personne ne sera pas enregistrée.
je créer une fonction qui test l'égalité de (Id) test : 'body -> bool. qui à ne marche pas : Error: Unbound value body.

Code:

---

1 2 3 4 5 6 7

type body = { id: int ; sexe:string ; age:int };;   let test =let last_id= Random.int(100) in if(last_id =body.id) then true else false ;;

---

quelqu'un peut m'aider à corriger et créer la fonction (create_body): val create 'body -> bool :qui crée et enregistre aléatoirement une personne.

je ne réponds qu'à la première partie de la question ("quelqu'un peut m'aider à corriger")

dans ta fonction tu testes l'égalité entre "last_id" et "body.id"; or last_id est bien une variable mais body est un type...
Il me semble que ce serait plutôt:

Code:

---

1 2 3

let test person =let last_id= Random.int(100) in if(last_id =person.id) then true else false ;;

---

une fonction qui simule la reproduction animal: reproduire i papa maman qui renvoie la liste de progéniture( list enfant)

Mon probleme est comment passer à la liste à partir :
| (individu1 , individu2)->let (a,b) in
if(i=individu1.id && i=individu2.id) then raise EmptyList
else [] :: (reproduire i a b) ;;

Code:

---

1 2 3 4 5 6 7 8

let rec reproduire i individu1 individu2= match (individu1, individu2) with |(_,_ ) -> raise EmptyList |( _, individu2) -> raise EmptyList |(individu1,_ ) -> raise EmptyList | (individu1 , individu2)->let (a,b) in if(i=individu1.id && i=individu2.id) then raise EmptyList else []::(reproduire i a b) ;;

---

Aide merci stendhal666

Mmm... je ne comprends pas du tout ton code.

Citation:

---

reproduire i papa maman

---

a priori papa maman peuvent se passer de i pour se reproduire? ;)

Citation:

---

|(_,_ ) -> raise EmptyList

---

'_' qu'on appelle "wildcard" matche n'importe quoi, donc le résultat sera toujours raise EmptyList...

Citation:

---

[]::(reproduire i a b)

---

Donc le type de retour est une liste de listes (vides)?

Réfléchis bien à ce que tu veux faire avant de te lancer dans le code!

Merci ! je reprend en detail
Un individu est un type defini par :

Code:

---

1 2 3 4 5 6 7

type personn= {id : int ; sexe : string ; age: int };;     let produit i p1 p2 = if(i=p1.id && i=p2.id) then [] else [];; val produit : int -> personn -> personn -> 'a list = <fun>

---

Question : le type de la fonction doit être val produit : int -> personn -> personn -> personn list = <fun> au lieu de val produit : int -> personn -> personn -> 'a list = <fun>

la fonction prend id et deux personnes, on test, si les deux personnes on le même id il retourne une liste des personne vide sinon on renvoie la liste de personnes produites.(on ne test pas le sexe)

Si tu t'interroges sur la manière de créer un enregistrement, c'est en déclarant la valeur de chaque champ avec le symbole d'égalité :

Code:

---

1 2	# {id=1;sexe="male";age=0};; - : person = {id = 1; sexe = "male"; age = 0}

---

C'est toujours une bonne idée de nous donner le type attendu. En général on peut assez bien deviner l'intention cachée derrière un type commeval produit : 'a list -> 'b list -> ('a * 'b) list = <fun>. Parce que le type est assez générique et/ou parce que ça correspond à une opération mathématique bien connue.

Par contre dans le cas de val produit : int -> person -> person -> person list = <fun> on est complètement démuni. On ne peut que corriger un code que tu nous proposerais. Or tu ne nous proposes rien du tout. Connaître la définition du type person ne nous avance à rien tant que l'on ne connaît pas davantage ta méthode de reproduction.

Merci SpiceGuid :
transformer le type ; val produit : int -> personn -> personn -> 'a list = <fun> à val produit : int -> personn -> personn -> personn list = <fun>
autrement dit:
La question est comment et par quelle solution 'a list soit personn liste le code est ;

Code:

---

1 2 3 4 5 6 7

type personn= {id : int ; sexe : string ; age: int };;   let produit i p1 p2 = if(i=p1.id && i=p2.id) then [] else [](*la liste renvoyer doit être une liste de personne issue de deux personnes ayant des id different *);;   val produit : int -> personn -> personn -> 'a list = <fun>

---

Code:

---

1 2	# let produit i p1 p2 = if(i=p1.id && i=p2.id) then [] else [p1;p2];; val produit : int -> person -> person -> person list = <fun>

---

Mais est-ce que ça fait ton bonheur :question:

SpiceGuid : c'est exactement ce dont je cherchais !! merci infiniment !!