Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re: recursive definition
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Tarizzo Martial <tarizzo@w...>
Subject: Re: recursive definition

At 12:16 22/04/1996 PDT, you wrote:
>==========================================================================  
>
>En francais :
>
>Il a ete explique dans un post precedent que "let rec x = f(x)"
>n'est compilable que si "x" est une fonction ou si la compilation
>de "f(x)" ne depend pas de "x".
Il me semble que Caml-Light n'admet pas d'appel de fonction dans la partie
droite d'un let rec, mais seulement des def du type fun ou function (cf
doc). Je pense (mais j'attends l'avis d'un expert en compilation CAML) que
cette limite est imposee par le mecanisme de typage.

Le probleme est qu'une table de memorisation est une structure de donnees
mutable, ce qui fait rarement bon menage avec la programmation fonctionnelle.
Si on veut avoir une memorisation pour une fonction recursive, les
operations de mutations doivent se faire pour une structure définie en
dehors du calcul proprement dit.

Voila une solution, en conservant remember :
(* fib1 est mutable au top-level. 
   def uniquement pour le typage lors de l'appel UNIQUE a remember *)
let fib1 = ref (fun x -> x);;
(* def de fib1, par mutation ! *)
fib1 :=
  remember (fun x ->
    printf__fprintf stderr "appel fib1 %d\n" x; flush stderr;
    if x < 2 then 1 else !fib1(x-1) + !fib1(x-2)
  );;
(* sucre syntaxique maintenant *)
let fib = !fib1;;

on peut encapsuler les choses par :
let fib = 
  let fib1 = ref (fun x -> x)
  in
  fib1 :=
    remember (fun x ->
      printf__fprintf stderr "appel fib1 %d\n" x; flush stderr;
      if x < 2 then 1 else !fib1(x-1) + !fib1(x-2)
      );
  !fib1;;
>==========================================================================  
>
>In english :
>
>I remember a post where it was explained that "let rec x = f(x)" is   
>handled
>only when "x" is a function or when "f(x)" may be compiled with no   
>knowledge
>of "x".
>
>So, what is wrong with the following attempt to define "fib" ?
It seems to me that Caml-Light don't accept function calls in the right side
of a let rec, but only fun or function definitions (cd doc). I think (but I
expect a compilation expert advice) that this limitation is a consequence of
the type system.

A remember table is a mutable structure, which don't fit well with
functionnal programming.
If one want to memorize for a recursive function, mutation operations must
concern a structure defined outside the recursive computation.

Here is a solution, using remember :
(* fib1 is mutable at the top-level. 
   used by the type system when remember is called only once *)
let fib1 = ref (fun x -> x);;
(* def of fib1 *)
fib1 :=
  remember (fun x ->
    printf__fprintf stderr " fib1 called %d\n" x; flush stderr;
    if x < 2 then 1 else !fib1(x-1) + !fib1(x-2)
  );;
(* syntactic sugar *)
let fib = !fib1;;

All in one :
let fib = 
  let fib1 = ref (fun x -> x)
  in
  fib1 :=
    remember (fun x ->
      printf__fprintf stderr "appel fib1 %d\n" x; flush stderr;
      if x < 2 then 1 else !fib1(x-1) + !fib1(x-2)
      );
  !fib1;;

>==========================================================================  
>
>
>>       Caml Light version 0.7
>
>#                        (* +----------------------+
>                            |  Fonction a memoire  |
>                            +----------------------+ *)
>
>
>let remember(f) =
>  let t = hashtbl__new(17) in
>  fun x -> try hashtbl__find t x
>           with Not_found -> let y = f(x) in hashtbl__add t x y; y
>;;
>remember : ('a -> 'b) -> 'a -> 'b = <fun>
...
>let rec fib = remember(fun x ->
>  if x < 2 then 1 else fib(x-1) + fib(x-2)
>);;
>Entrée interactive:
>>..............remember(fun x ->
>>  if x < 2 then 1 else fib(x-1) + fib(x-2)
>>).......
>Ce genre d'expressions n'est pas autorisé comme membre droit d'un "let   
>rec".


*********************************
 Tarizzo Martial
 Lycee Jean MOULIN - FORBACH

 47 rue des anciens comb. d'AFN - 57000 METZ
 Tel : 87 55 95 89
 Email: tarizzo@worldnet.fr
        74014.3307@compuserve.com
 Compuserve : 74014,3307
*********************************