Discussion :

[carlesup3]

Bonjour,
Actuellement en CPGE, j'ai des difficultés en informatique (Language Caml). Je me suis ainsi inscrit dans ce forum afin de trouver un support d'aide le plus efficace possible (il n'y a aucune prétention là dedans ) et afin d'ameliorer au mieux mes médiocres résultats.

J'aimerais donc savoir s'il y a ici des personnes fréquentant régulièrement ce forum et pouvant m'aider en Caml.

Cordialement.
Le ptit nouveau qui veut comprendre l'informatique.

[Ptival]

Bonjour,

Il y a peu de personnes actives sur ce forum, mais elles sont en général assez réactives et de bon conseil (l'un d'entre ceux-ci au moins donne des khôlles d'informatique, et devrait donc être particulièrement au fait de ce à quoi tu t'attaques).

En pratique, on répond à des questions précises, et on évite de donner des solutions toutes prêtes : montre que tu t'es attaqué au problème, décris ce qui te gêne ou ce que tu ne comprends pas, et alors quelqu'un se fera le plaisir de t'éclairer.

[carlesup3]

Alors ben je vais commencer^^:

On me demande de réaliser un programme transformant une chaine de caractères en liste de caractères... Voici ce que je propose:

Code :

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

1
2
3
let rec ls l = match string_length l with
0 -> []
|n -> let u = sub_string (l 0 (n-1)) in (string_of_char (l.[n]))^ls u;;

Le string_of_char c'est pour s'assurer qu'on ait bien une liste de caractères et non une liste de chaines de caractères...
Le bémol c'est que Caml renvoie ( en pointant l.[n])

Code :

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

1
2
This expression has type int -> int -> string,
but is used with type string.

Je ne comprend pas trop pourquoi une telle réponse...
Cordialement

[Ptival]

Quelques remarques :

- l.[n] est un sucre syntaxique pour String.get l n. String.get a pour type string -> int -> char. Donc le résultat a pour type char, qui est un caractère. Puisque ton but semble être de retourner une liste de caractères (c'est différent de string !), tu n'as a priori pas besoin de passer par "string_of_char".

- (^) est l'opérateur de concaténation de strings, qui a pour type string -> string -> string. Encore une fois, ça n'a pas l'air de correspondre au type du résultat que tu essaies de créer. A mon avis, tu veux utiliser ( :: ) : 'a -> 'a list -> 'a list, pour créer une liste à partir d'un élément et d'une sous-liste.

[Cacophrene]

Bonsoir,

Un indice avant d'aller plus loin : pourquoi sub_string ? La chaîne peut rester entière, il suffit juste de changer la valeur de l'indice. Regarde cette fonction qui peut te donner idées pour faire ce que tu veux :

Code :

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

1
2
3
4
5
6
7
8
let print_rev str =
  let rec loop = function
    | 0 -> ()
    | i -> let j = i - 1 in
      print_char str.[j]; print_newline ();
      loop j
  in loop (String.length str)

Cordialement,
Cacophrène

[carlesup3]

Merci pour la réponse.
Soit dit en passant, on utilise camllight. (Je fais cette remarque parce qu'il semble que le Caml qu'on utilise en TD ne reconnait pas "String.get" par exemple).

Sinon en corrigeant le programme ainsi :

Code :

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

1
2
3
let rec ls l = match string_length l with
0 -> []
|n -> let u = sub_string (l 0 (n-1)) in l.[n]::ls u;;

Caml renvoie toujours et encore...

Code :

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

1
2
This expression has type int -> int -> string,
but is used with type string.

l.[n] ne devrait-il pas m'envoyer un élément de type char? Et pourquoi "is used with type string"?

[Cacophrene]

Bonsoir,

Soit dit en passant, on utilise camllight. (Je fais cette remarque parce qu'il semble que le Caml qu'on utilise en TD ne reconnait pas "String.get" par exemple)

Oui, sub_string et d'autres fonctions indiquent bien Caml light. Comme beaucoup sur le forum, j'utilise exclusivement OCaml mais vous avez remarqué que la plupart des conversions sont quasi immédiates. Les notations comme String.get sont liées à la présence de modules dans OCaml, dont l'équivalent Caml light est souvent facile à trouver.

Caml renvoie toujours et encore...

Le problème vient de ces parenthèses (en rouge) :

Code :

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

1
2
3
4
let rec ls l = match string_length l with
| 0 -> []
| n -> let u = sub_string (l 0 (n-1)) in l.[n]::ls u

Concernant plus précisément le code source proposé, essayez d'utiliser des noms moins confusifs. Par exemple, l pour une chaîne, c'est maladroit. Souvent, l désigne une liste et, de plus, on déconseille l'utilisation de cette lettre qui se confond facilement avec 1. Ça c'est pour la forme. C'est peu de choses et peut-être que ça paraît du pinaillage mais tu verras que ça te rendra de grands services par la suite.

Concernant le fond maintenant : il n'y a pas besoin de sub_string. Pour écrire une fonction qui transforme une chaîne en liste de caractères, il suffit d'incrémenter une valeur n de 0 jusqu'à string_length - 1. Je vous propose de compléter ceci :

Code :

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

1
2
3
4
5
6
let list_of_string str =
  let rec loop n =
    if n = ... then ...
    else ...
  in loop ...

Cordialement,
Cacophrène