Discussion :

[reuqnas]

Bonjour j'ai un petit souci avec un exercice tout d'abord, on m'a demandé de faire une fonction explose qui fait cela [5;4;3;3] donne [[5];[4];[3];[3]]

j'ai donc ecrit cela :

Code :

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

1
2
3
let rec explose = function
  []->[]
  |(a::l)->[a]::explose l;;

ensuite on me demande de faire une fonction etend qui fait cela par exemple etend 5 [[1;2];[3]] donne cela [[5;1;2];[5;3]] et la je n'y arrive vraiment pas merci de m'aider

[Cacophrene]

Bonsoir,

Ta première fonction est correcte. Tu peux juste enlever les parenthèses superflues dans (a :: l) et noter au passage que c'est un cas particulier de l'itérateur map :

Code :

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

1
2
let explose liste = List.map (fun x -> [x]) liste

Pour la deuxième fonction que l'on te demande d'écrire, est-ce encore un itérateur de type map ? Si oui, que faut-il changer au code ci-dessus pour obtenir le bon résultat ? Tu vas voir que ce n'est pas bien difficile.

Cordialement,
Cacophrène

[reuqnas]

merci de votre réponse, en prenant votre réponse j'ai essayé avec cela :

Code :

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

let etend n liste = List.map (fun x -> n::[x]) liste;;

cependant cela marche pour etend 5 [3;4;7];; cela va me donner [[5;3];[5;4];[5;7]];;
mais cela ne fonctionne pas avec etend 5 [[1;2];[3]] je ne vois pas trop pourquoi
merci de me repondre

j'ai fait comme cela aussi mais ça ne me donne pas exactement ce que je veux :

Code :

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

1
2
3
 let rec explose c = function
[]->[]
|(a::l)->[c,a]::explose c l;;

[Cacophrene]

Bonjour,

C'est un bon début ! Il faut bien comprendre ce que fait map et pour ça, rien de tel que raisonner en termes de types. Pour la fonction explose, l'itérateur applique une fonction anonyme (fun x -> [x]). Cette fonction reçoit une valeur de type quelconque x et l'insère dans une liste (une liste à un seul élément, autrement dit un singleton).

Pour la fonction etend, on dispose de plus d'informations sur le type de x puisque c'est une liste de valeurs de type quelconque (soit le type 'a list). Cela veut dire qu'il ne faut pas écrire (fun x -> n :: [x]), car x est déjà une liste, mais tout simplement (fun x -> n :: x). Je t'invite à comparer les deux signatures :

Code :

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

1
2
3
val etend_incorrect : 'a -> 'a list -> 'a list list
val etend_correct : 'a -> 'a list list -> 'a list list

Cordialement,
Cacophrène

[reuqnas]

D'accord j'ai compris dans ce cas là, merci et si jamais on voulait à la place d'un entier mettre une autre liste par exemple toto [3;5][[1;];3];; pour qu'il donne [[3;1];[3;3];[5;1];[5;3]] dans ce cas il faudrait mettre [n]: ou pas ?
merci de votre réponse

[Cacophrene]

Bonjour,

si jamais on voulait à la place d'un entier mettre une autre liste par exemple toto [3;5][[1;];3];; pour qu'il donne [[3;1];[3;3];[5;1];[5;3]]

Je ne comprends pas bien l'énoncé : il y a une erreur dans [3;5][[1;];3], est-ce qu'il faut lire [3;5] [[1]; [3]] ou [3;5] [[1;3]] ou autre chose ?

Cordialement,
Cacophrène