Discussion :

[Yyukk]

Dans l'optique de m'entrainer sur les listes, je cherche un moyen de passer des strings en une liste de strings. Mon souci est que je ne sais pas comment faire pour indiquer a la machine comment distinguer la fin d'un mot et ainsi le placer dans la liste.
Un exemple: "Pierre/Paul/Jacques" ----> [Pierre; Paul; Jacques]
"1,2,3,4,....,n-1,n" ----> [1;2;3;4;5;...;n-1;n] (de facon plus generale)

Est-ce possible ? (ca l'est surement) Et comment proceder pour y arriver ?

Merci

[prgasp77]

Salut,
google + "ocaml string split" = Module Str, Str.split

[Yyukk]

Je vais regarder ca, mais apparemment mon ocaml ne connait pas le module Str, meme avec un #open Str

[gasche]

http://form-ocaml.forge.ocamlcore.or...ml.html#htoc65

[Pece_]

Si le but est de s'entraîner, mieux vaut peut-être le faire tout seul. (Si, en revanche, tu veux utiliser cette fonction par la suite pour un projet plus important, mieux vaut utiliser Str qui sera a priori plus performante.)

Je te propose un schéma de code (un "code à trou" si tu veux ) :

Code OCaml :

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

1
2
3
4
5
6
let rec str_split str delim acc =
  try
    match String.get s 0
      | x when x=delim -> (???)::(str_split ??? delim ???)
      | x -> str_split ??? delim ???
  with _ -> []

(Ce n'est bien sûr pas la seule façon de faire.)

[HS]Il y a une coloration syntaxique pour OCaml sur le forum ?[/HS]

[SpiceGuid]

Il y a une coloration lexicale pour OCaml sur le forum ?

Malheureusement non.

[Cacophrene]

Bonsoir,

Je vais regarder ca, mais apparemment mon ocaml ne connait pas le module Str, meme avec un #open Str

Bon, il faut insérer la commande #load "str.cma" dans l'interpréteur ou compiler avec str.cma. #open Str ne veut rien dire (Str est un nom de module).

Je suis un peu sceptique au sujet de la trame de code donnée par Pece_ même si l'intention (faire œuvre pédagogique plutôt que donner une réponse toute faite) est très bonne. Ce sont de simples réserves : d'abord dans ce code delim est un caractère, ce qui est moins général que la fonction Str.split (sans parler de rechercher un motif... on pourrait vouloir chercher une chaîne). Ensuite, l'appel récursif dans try... with est dangereux parce qu'il casse en douce la récursion terminale. D'accord, ici on s'en fiche. Seulement, peut-être que cet exemple peut inciter à faire pareil dans d'autres circonstances, et cela débouchera sur un débordement de pile inopiné. Idem pour l'emploi du filtrage, ici on peut se satisfaire d'un if then else. D'ailleurs, n'y aurait-il pas une erreur dans ce code ? Si une exception est levée, on renvoie [], mais pourquoi pas acc ?

Je répète que l'intention est bonne. Il faut encourager les débutants à réécrire les fonctions de base qu'ils sont amenés à utiliser pour se les approprier et affiner leur compréhension d'OCaml. Attention quand même à la forme que l'on donne aux codes qui servent d'exemples, j'ai moi-même commis ce genre d'erreurs dans d'autres fils de discussion et, rétrospectivement, ça me semble assez problématique.

Cordialement,
Cacophrène

[Pece_]

acc est une chaîne de carcactère. Mais en effet il y a une erreur, c'est [acc] qu'il faut renvoyer. (J'édite.)

Pour le coup de try with qui casse la récursion terminale, ma récursion n'étant pas terminale... Ceci dit, elle est facilement transformable en terminale et à ce moment, une structure conditionnelle sur la longueur vaut peut-être mieux. A voir comment tout cela compile et l'optimisation de l'utilisation de la pile dans les différents cas.

Ensuite pour delim, oui, on peut améliorer, je proposais un premier jet. On peut bien sûr améliorer la chose pour avoir un lot de délimiteurs, ou tout autre chose imaginable.

Enfin, pour le matching, c'est vraiment juste une question de goût et de lisibilité dans ce cas-ci. Une structure conditionnelle aurait très bien fait l'affaire, je suis d'accord.

[Cacophrene]

Bonjour,

Un peu de hors sujet dont je tiens à m'excuser pour illustrer mon précédent message.

Pour le coup de try with qui casse la récursion terminale, ma récursion n'étant pas terminale... Ceci dit, elle est facilement transformable en terminale et à ce moment, une structure conditionnelle sur la longueur vaut peut-être mieux. A voir comment tout cela compile et l'optimisation de l'utilisation de la pile dans les différents cas.

Oui, ta fonction n'est pas récursive terminale, mais le problème du try...with est à considérer de façon plus générale. Il est tentant de l'utiliser un peu partout. Un exemple parmi d'autres :

Code :

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

1
2
3
4
5
6
7
8
let read_lines file =
  let ich = open_in file in
  let rec loop lines =
    try
      loop (input_line ich :: lines)
   with End_of_file -> close_in ich; List.rev lines
  in loop []

La fonction imbriquée loop a l'air récursive terminale, mais ce n'est pas le cas. À comparer avec ceci :

Code :

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

1
2
3
4
5
6
7
8
let read_lines file =
  let ich = open_in file in
  let rec loop lines =
    let may = try Some (input_line ich) with End_of_file -> None in
    match may with
    | None -> close_in ich; List.rev lines
    | Some line -> loop (line :: lines)
  in loop []

De plus, s'il existe une condition d'arrêt facile sans passer par une exception, cela peut être beaucoup plus facile à déboguer ensuite...

Et pour finir, le cas du match : oui et re-oui, ici ça n'est qu'une question de lisibilité. Cependant, les codes d'exemple sont souvent source d'inspiration pour les débutants, et l'utilisation de clauses when n'est pas toujours appropriée (impossible de vérifier l'exhaustivité du filtrage, par exemple).

Cordialement,
Cacophrène