Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bug ??? #8160

Closed
vicuna opened this issue Jun 4, 2003 · 1 comment
Closed

Bug ??? #8160

vicuna opened this issue Jun 4, 2003 · 1 comment
Labels

Comments

@vicuna
Copy link

vicuna commented Jun 4, 2003

Original bug ID: 1701
Reporter: administrator
Status: closed
Resolution: not a bug
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Bonjour,
je ne comprends pas pourquoi ce code n'est pas correctement exécuté :
il s'agit de l'implémentation d'une boucle for de façon récursive :

let rec my_for=function borne_i -> function borne_s ->function
expression ->
expression;
if (borne_i<borne_s) then (
print_int(i);
my_for borne_i (borne_s-1) expression );;

et quand je l'éxecute avec my_for 0 9 (print_string("djame"));;
j'obtiens :

djame987654321- : unit =

Manifestement, vu qu'on affiche les indices, on effectue bien 9 appels
récursifs donc on devrait voir s'executer 9 fois le bloc "expression"
or ca n'a lieu qu'une seule fois.
J'ai beau chercher je ne vois pas pourquoi ca a ce comportement.

Si vous pouviez me donner une indication, ca serait vraiment trés gentil.

Cordialement,

Djamé

--
Djamé Seddah
LORIA / Campus Scientifique
BP239
F-54506 VANDOEUVRE-LES-NANCY CEDEX
FRANCE
tel : 00 33 3 83 59 20 47 / fax : 00 33 3 83 41 30 79

@vicuna
Copy link
Author

vicuna commented Jun 4, 2003

Comment author: administrator

bonjour,

Bonjour,
je ne comprends pas pourquoi ce code n'est pas correctement exécuté :
il s'agit de l'implémentation d'une boucle for de façon récursive :

let rec my_for=function borne_i -> function borne_s ->function
expression ->
expression;
if (borne_i<borne_s) then (
print_int(i);
my_for borne_i (borne_s-1) expression );;

et quand je l'éxecute avec my_for 0 9 (print_string("djame"));;
j'obtiens :

djame987654321- : unit =

Manifestement, vu qu'on affiche les indices, on effectue bien 9 appels
récursifs donc on devrait voir s'executer 9 fois le bloc "expression"
or ca n'a lieu qu'une seule fois.
J'ai beau chercher je ne vois pas pourquoi ca a ce comportement.

Si vous pouviez me donner une indication, ca serait vraiment trés gentil.

L'expression que vous passez en argument est évaluée avant l'appel
à la fonction (cela s'appelle le passage des arguments par valeur).
Ce qu'il se passe lorsque vous faites my_for 0 9 (print_string("djame")) :
Les expressions 0, 9 et (print_string("djame")) sont évaluées, ce qui
donne l'affichage de "djame". L'expression (print_string("djame")) a
le type unit.

Dans le corps de votre fonction, l'expression
expression;
ne fait rien, car il s'agit de la valeur ().

Ce que vous souhaitez faire est passer une fonction en argument
de votre fonction my_for, et appliquer cette fonction à chaque tour
de "boucle":

let rec my_for=function borne_i -> function borne_s ->function f ->
f () ;
if (borne_i<borne_s) then (
print_int(i);
my_for borne_i (borne_s-1) f );;

Pour avoir le résultat que vous attendiez, vous faites alors :
my_for 0 9 (fun () -> print_string("djame"))

Le fait que l'expression (fun () -> print_string("djame")) prenne un paramètre
empêche l'évaluation de print_string("djame") (on dit "qu'on évalue pas
sous les lambdas"). L'expression f () déclenche cette évaluation à chaque
tour de "boucle".

J'espère que cela répond à votre question.

Cordialement,

Maxence Guesdon
que le param_tre n'est pas donné.

@vicuna vicuna closed this as completed Jun 4, 2003
@vicuna vicuna added the bug label Mar 19, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant