Re: [Caml-list] Great Beginner

[Remi VANICAT <vanicat@labri.u-bordeaux.fr>]

"Diego Olivier Fernandez Pons" <FernandezPons@iFrance.com> writes:

> Rémi Vanicat a proposé le code suivant :
> 
> let rec somme n =
>   if n = 0 then 0
>   else n + (somme (n - 1))
> 
> let somme n =
>   let rec aux i x =
>     if i <= n then
>       aux (i+1) (x + i)
>     else x in
>   aux 1 0
> 
> Ce code reste néanmoins très proche du code impératif. Dans un style
> beacoup plus fonctionnel on aura plutôt :
> 
> let rec somme = function
>   | 0 -> 0
>   | k -> k + somme (k-1)
> ;;

j'ai du mal a voir la différence entre ceci et mon code. le if then
else du caml est une construction fonctionnel.

[..]

> Enfin, je vous recommande de « commenter » votre code par des noms de
> variables explicites (comme total ou k plutôt que aux, acc, etc.) ;
> cela permet un code immédiatement compréhensible.

je vous l'accorde, mais c'est une question d'habitude ici

> 
> La seule remarque supplémentaire que l'on pourrait faire est que dans
> les langages fonctionnels on préfère les fonctions à plusieurs
> arguments que les fonctions à arguments dans les produits cartésiens
> (ce qui ici n'est guère difficile car vous ne faites aucun test sur la
> variable total)
> 
> let somme = function n ->
>    let rec sommeCPS = function total -> function
>       | 0 -> total
>       | k -> sommeCPS (total + k)  (k - 1)
>    in
>        sommeCPS 0 n
> ;;

et en caml, on préférera (c'est quand même plus lisible) :

let somme n =
   let rec sommeCPS total = function
          | 0 -> total
          | k -> sommeCPS (total + k)  (k - 1)
   in somme CPS 0 n


les "function" partout ne rajoute absolument rien a la lisibilité,
voir même en enlève, l'information importante étant noyé au milieux de
nombreux mot clé.
-- 
Rémi Vanicat
vanicat@labri.u-bordeaux.fr
http://dept-info.labri.u-bordeaux.fr/~vanicat
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr