Discussion :

[soft0613]

Bonjour je dois réaliser le produit cartésien de deux ensembles E1 et E2 implémentés par des listes sans répétitions du type (a b f s) dont l'ordre ne compte pas et obtenir un résultat du type :

Code :

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

1
2
3
4
(ens-prod '(a b c) '(1 2))

> ((a 1) (a 2) (b 1) (b 2) (c 1) (c 2))

J'ai fais ceci mais le résultat me donne trop de A-listes et je ne trouve pas comment m'en débarasser

Code :

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

1
2
3
4
5
 
(define (ens-prod A B)
   (map (lambda (x) (map (lambda (y) (list x y)) B)) A))

> (((a 1) (a 2)) ((b 1) (b 2)) ((c 1) (c 2)))

si quelqu'un a une idée...

[gorgonite]

si tu concatènes les listes contenues dans la liste résultat... ça devrait suffire

[Trap D]

Combine la récursivité et le map.

[Garulfo]

Remarque en passant :

Ce genre de TP est plus simple à mettre en œuvre sous Scheme que sous ocaml. Sous ocaml, le typage est un sérieux frein.

[LLB]

En Caml, traduction littérale de l'exemple donné :

Code :

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

1
2
let ens_prod a b =
  List.map (fun x -> List.map (fun y -> [x; y]) a) b

Je ne vois pas de différence, ici.

[Garulfo]

En Caml, traduction littérale de l'exemple donné :

Code :

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

1
2
let ens_prod a b =
  List.map (fun x -> List.map (fun y -> [x; y]) a) b

Je ne vois pas de différence, ici.

Mais si tu implémentais les ensembles tu utiliserais des listes simples, toi ?
Probablement plus des hashset non ?

Et en général dès que tu commences à penser à ton typage, ça complique la vie. Je ne dis pas que c'est infaisable: je l'ai fait pour montrer à mon collègue comment ça pourrait se faire. Sauf qu'en Scheme la solution est plus simple puisqu'il n'y a pas de problème de typage. Si tu ne manipules que des entiers, ce n'est pas génant. Si tu manipules des entiers et des réelles, ça devient fatiguant... si tu veux des ensembles dans tu ne peux définir l'ensemble d'inclusion a priori, les choses se gatent (mélange d'un nombre n de types).