Discussion :

[dicky]

après la définition

let rec h x = h x;;

et l'utilisation

h 1;;

j'attends un message 'pile pleine'
or la boucle read eval print répond

# h 1;;

et l'interpréteur ne rend pas la main
je ne comprends pas ce comportement, quelqu'un peut-il me l'expliquer ?

merci

[gasche]

Il n'y a pas de message "pile pleine" car ta fonction est tail-récursive (elle se rappelle en faisant un tail-call, c'est à dire un appel qui est la dernière opération de la fonction). Caml l'optimise en faisant un appel tail-récursif, qui ne fait pas grandir la pile. La pile reste donc constante et ton code boucle à l'infini.

Si tu veux dépasser la pile, il faut empêcher la tail-rec (en faisant de l'appel terminal une opération intermédiaire, et pas l'opération finale) :

Code :

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

let rec h x = let y = h x in y

[SpiceGuid]

Ta fonction est éta-équivalente à :

Code OCaml :

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

1
2
3
4
5
6
 
# let rec h = h;;
Characters 12-13:
  let rec h = h;;
              ^
Error: This kind of expression is not allowed as right-hand side of `let rec'