Discussion :

[pijora]

Bonjour a tous, bon tout d'abord a avant de venir vous voir j'ai pas mal cherché et je n'ai pas trouver de réponse claire a mon problème.

Le voici, j'essaye de filtrer sur deux liste en meme temps, liste du type
('a,'b)list et ('c,'d)list. En gros je fais un parcoure de mes deux listes a la fois . J'ai obligation de le faire en récursif. Le soucis ne viens pas de 'largo (enfin peut être que mon alto est bidon mais ça je me débrouillerais ) ,mais vraiment de l'écriture.
Voici mon code

Code :

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

1
2
3
4
5
6
7
let rec produit f1 f2 = match f1 f2 with 
				| [], _ | _,[] -> failwith "liste vide"		
				| (x,y)::[],(a,b)::[] -> ((x,a),(y,b))::[]
				| (x,y)::[],(a,b)::m -> ((x,a),(y,b)):: produit f1 m		
				| (x,y)::l,(a,b)::[] -> ((x,a),(y,b)):: produit l f2
				| (x,y)::l,(a,b)::m -> ((x,a),(y,b)):: produit f1 m
				;;

Et voici la réponse

Code :

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

1
2
3
4
5
 
File "listFonction.ml", line 64, characters 52-53:
Error: This expression has type ('a * 'b) list
       but an expression was expected of type
         ('c * 'd) list -> ('a * 'b) list * ('c * 'd) list

La ligne 64 c'est celle ou il y a , et le problème se trouve avec f2

Code :

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

| (x,y)::l,(a,b)::[] -> ((x,a),(y,b)):: produit l f2

Voila je continu a chercher mais je ne vois comment il peut attendre ce qu'il attend a la place de f2.
En vous remerciant de votre attention et de vos possibles réponses.
Bonne soirée.

[SpiceGuid]

Essaye avec match f1,f2 with.

[pijora]

Merci beaucoup, maintenant j'ai plus qu' a changer l'algo.
D'ailleurs maintenant le soucis c'est qu'une fois avoir fait tout les combinaison d'un element de f1 avec f2 je n'arrive pas a retourner au f2 initial pour continuer le parcoure de f1.
Il me faudrait le mettre dans une sorte de variable static initialisée qu'une seule fois , et réutilisé lors des appels récursifs mais je ne vois vraiment pas comment faire.
Une idée ?

Merci encore

edit : resolu, on passe par un buffer déclaré avant

Code :

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

1
2
3
4
5
6
7
8
9
10
let  produit f1 f2 = 
	let buffer = f2 in	
	let rec produitbuff f1 f2 = match f1,f2 with	
				| [], _ | _,[] -> []	
				| (x,y)::[],(a,b)::[] -> ((x,a),(y,b))::[]
				| (x,y)::[],(a,b)::m -> ((x,a),(y,b)):: produitbuff f1 m		
				| (x,y)::l,(a,b)::[] -> ((x,a),(y,b)):: produitbuff l buffer
				| (x,y)::l,(a,b)::m -> ((x,a),(y,b)):: produitbuff f1 m
	in produitbuff f1 f2
	;;