Bonjour à tous,

CaML light permet la construction suivante :

#let rec liste = 0::1::2::3::liste;;
liste : int list =
[0; 1; 2; 3; 0; 1; 2; 3; 0; 1; 2; 3; 0; 1; 2; 3; 0; 1; 2; 3; 0; 1; 2; 3; 0;
 1; 2; 3; 0; 1; 2; 3; 0; 1; 2; 3; 0; 1; 2; 3; 0; 1; 2; 3; 0; 1; 2; 3; 0; 1;
 2; 3; 0; 1; 2; 3; 0; 1; 2; 3; 0; 1; 2; 3; 0; 1; 2; 3; 0; 1; 2; 3; 0; 1; 2;
 3; 0; 1; 2; 3; 0; 1; 2; 3; 0; 1; 2; 3; 0; 1; 2; 3; 0; 1; 2; 3; 0; 1; 2;
 ...]

Cela étant, j'aimerais pouvoir faire la même chose en paramétrant la période ; par exemple, j'aimerais créer [ 0 ; 1 ; 2 ; ... ; n-1 ; 0 ; 1 ; 2 ; ... ] :

#let repète n = let aux = ref [] in for i = n-1 downto 0 do aux:= i::(!aux) done; !aux;;
repète : int -> int list = <fun>

#let cyclique n = let aux = repète n in let rec liste = aux @ liste in liste;;

Mais là :

let cyclique n = let rec liste = (repète n) @ liste in liste;;

                                          ^^^^^^^

Ce genre d'expressions n'est pas autorisé comme membre droit d'un "let rec".

Est-ce seulement un problème de syntaxe ou bien y a-t-il impossibilité absolue, la taille de la liste servant de période devant être connue à la compilation ?

Cordialement, Jean-Denis Eiden


--
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs