Discussion :

[poupoules]

Bonjour ,
dans le cadre d'un projet, je dois réaliser un rumnikub en caml.
J'ai un problème , sur l'écriture d'une fonction d'ordre supérieur.
Voici le sujet :
http://www-verimag.imag.fr/~mounier/...jet1516_x2.pdf
J'ai utilisé le typage :

Code :

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

1
2
type ’e melt = ’e * int
type ’e mset = ’e melt list

J'ai réalisé la fonction cardinal :

Code :

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

1
2
3
4
5
 let rec  cardinal  (s:'e mset) = 
	match s with 
  		| (a,nbocc)::r -> (nbocc+(cardinal r ))
  		| [] -> 0 ;;
val cardinal : 'a mset -> int = <fun>

Et la fonction cardinal d'ordre supérieur :

Code :

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

1
2
3
let incr_compteur cpt (_,z) = cpt + z;;
 
let cardinal2 (l :'e mset) = List.fold_left incr_compteur 0 l ;;

Et j'aurais besoin d'aide pour écrire la fonction subset d'ordre supérieur :
Voici ma fonction subset :

Code :

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

1
2
3
4
let rec subset (s1:'e mset) (s2: 'e mset) = 
	match s1 with  
  		| (a,nbocc)::r -> if ((nb_occurrences a s2) >= nbocc) then (subset r s2) else false
  		| [] -> true;;

Merci pour votre attention,
Cordialement,
poupoules

[TchoubiTchoub]

Bonjour,

Pour subset, devez-vous absolument utiliser List.fold_left ou pouvez-vous utiliser d'autres fonctions de la bibliothèque List ? Si tel est le cas, je vous invite à regarder la fonction

Code :

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

1
2
3
List.for_all : ('a -> bool) -> 'a list -> bool
 
for_all p [a1; ...; an] checks if all elements of the list satisfy the predicate p. That is, it returns (p a1) && (p a2) && ... && (p an).

[poupoules]

Bonjour ,
J'ai regarder cette fonction mais je crois qu'en faite je me suis un embeter et je l'ai moi même codé : j'ai réussi à faire quelque chose qui marche mais je ne suis pas sure que se soit bien de l'ordre supérieur.

Code :

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

1
2
3
4
5
6
7
8
9
let rec for_all_mset (f: 'a ->'a-> bool)(l: 'e mset) (l2: 'e mset)=
	match l with
   |[] -> true
   |(a,b)::r -> (f b (nb_occurrences a l2)) && (for_all_mset f r l2) ;;
 
let inferieure a b =
	a<=b;;
 
let subset2 (l1: 'e mset) (l2: 'e mset) = for_all_mset inferieure l1 l2 ;;

Merci de me dire ce que vous en pensez.

[TchoubiTchoub]

Votre problématique a quand-même l'air très proche de celle de alexpand dans cette discussion : http://www.developpez.net/forums/d15...lti-ensembles/. Je vous invite à lire tout notre échange pour ne pas avoir à me répéter

[poupoules]

Après avoir lu et relu votre conversation avec alexpand , il est vrai que nos sujet semble similaire.
Mais je reste toujours bloqué sur ma fonction sum...
Je ne suis même pas sure que ma fonction subset2 soit bien de l'ordre de supérieur, j'ai du mal à comprendre le concept...
Merci de votre aide.

[TchoubiTchoub]

Quel concept ne comprenez-vous pas ? L'ordre supérieur ?

[CB15487]

Bonjour, je suis dans le même cas pour l'exercice 7, c'est le même projet, pourriez vous m'aider? Je suis completement bloqué à cet exercice.
Merci d'avance.

[TchoubiTchoub]

Bonjour, je suis dans le même cas pour l'exercice 7, c'est le même projet, pourriez vous m'aider? Je suis completement bloqué à cet exercice.
Merci d'avance.

Je ne sais pas ce que c'est que cet "exercice 7" et je n'ai pas envie d'aller sur le site de Verimag pour regarder. Je ne suis pas là pour faire vos devoirs mais pour vous aider sur des questions précises. Ecrivez-donc ce que vous avez déjà fait et là où vous bloquez.

Cordialement

[CB15487]

Je ne sais pas ce que c'est que cet "exercice 7" et je n'ai pas envie d'aller sur le site de Verimag pour regarder. Je ne suis pas là pour faire vos devoirs mais pour vous aider sur des questions précises. Ecrivez-donc ce que vous avez déjà fait et là où vous bloquez.

Cordialement

Voici l'exercice 7:
Au début de la partie, chaque joueurs recoit 14 tuiles tirées au hasard dans le paquet initial.

1. La fonction extraire : int -> pioche -> main * pioche, est définie de la façon suivante: l'appel (extraire n p) rend un couple (m, newp) dans lequel m est une main de n tuiles tirées au hasard dans p, et newp est la pioche p privée de ces n tuiles. On pourra utiliser la fonction getrandom de la section 2 pour implenter cette fonction.

2. La fonction distribuer : pioche -> main * main * pioche, prend en paramètre la pioche initiale et rend les mains de chacun des deux joueurs et la pioche restante.

3. La fonction initialiser : pioche -> etat, produit à partir du paquet initial l'état initial de la partie après distribution d'une main à chaque joueurs.

Je ne vous demande pas de faire mon travail mais si vous pourriez me donner quelques aides cela m'aiderais beaucoup car je n'ai rien reussi à faire sur cet exercice. Cordialement.

[TchoubiTchoub]

Vous ne pouvez pas "rien faire". Vous avez au moins une idée du pseudo-code qu'il y a derrière chaque question.

Je vous assure qu'en écrivant déjà

Code :

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

1
2
3
4
let extraire n p = 
  let m = piocher_random_dans_p n p in
  let np = enlever_m_a_p p m in
  m, np

Vous auriez une idée de ce qu'il reste à faire.

Tant que je n'aurai pas une petite partie de code pour vous aider je ne le ferai pas.

[CB15487]

Merci beaucoup pour votre aide, mais cela fait déjà une journée entiere que je bloque dessus et j'ai vraiment du mal avec ça mais merci quand même je vais essayer de ma debrouiller. Cordialement