Discussion :

[cladsam]

Bonjour,

ma question va peut-etre sembler etre ridicule et je m'en excuse si tel est le cas.
Dans un cours que je suis actuellement sur la programmation fonctionnelle (avec Ocaml comme langage de fond), on a un chapire sur les traits impératifs d'Ocaml visant à montrer qu'il ne s'agit pas d'un langage purement fonctionnel , on parle des tableaux (ou plutot devrais-je dire vecteurs).

Bien donc on crée les vecteurs et on peut modifier des éléments de ces vecteurs.

Ma question c'est de savoir ce qui dans les vecteurs fait qu'il s'agit d'un trait imératif et pas d'un trait fonctionnel ?
Est- ce la notion de tableau en elle même ?
Est-ce le fait de pouvoir en modifier les éléments ?

Parceque, en soit, le fait de créé un vecteur renvoit bien une valeur, en quoi n'est-ce pas "fonctionnel" ?


Du coup j'ai du mal a comprendre la réelle différence entre impératif et fonctionnel et je vois peu l'interet de ce cours si je passe a côté de cette subtilité ...

MErci donc de m'éclairer

[gorgonite]

la notion meme de tableau est impérative... tu peux acceder directement à des éléments en écriture, et non par un jeu de valeurs de retour par des fonctions

[cladsam]

la notion meme de tableau est impérative... tu peux acceder directement à des éléments en écriture, et non par un jeu de valeurs de retour par des fonctions

Ben tu dis "tu accèdes directement en écriture " donc on parle bien des modifs mais qu'est-ce qui empeche de penser a un "tableau non modifiable" ?
Du coup en quoi serait il moin fonctionnel qu'une liste ?

[gorgonite]

Ben tu dis "tu accèdes directement en écriture " donc on parle bien des modifs mais qu'est-ce qui empeche de penser a un "tableau non modifiable" ?
Du coup en quoi serait il moin fonctionnel qu'une liste ?

ben ce n'est plus le tableau tel qu'il est utilisé en Caml...
si en plus tu ne passes pas par une boucle for pour accéder aux éléments, on retombe sur du fonctionnel

[cladsam]

ben ce n'est plus le tableau tel qu'il est utilisé en Caml...
si en plus tu ne passes pas par une boucle for pour accéder aux éléments, on retombe sur du fonctionnel

je sais que ce n'est pas le tableau tel qu'il est utilisé en Ocaml mais du coup dans ce cas ce serait bien du fonctionnel donc j'en reviens bien a mon idée de départ : ce qui fait rentrer le tableau dans le fonctionnel, c'est bien le fait de pouvoir modifier les valeurs pas le fait même d'avoir un tableau ?

[gorgonite]

ce qui fait rentrer le tableau dans le fonctionnel, c'est bien le fait de pouvoir modifier les valeurs pas le fait même d'avoir un tableau ?

et aussi la méthode classique du parcours par boucle for


du point de vue fonctionnel un tableau n'est rien de plus qu'un nuplet

[LLB]

Le principal point, c'est qu'un tableau est modifiable. Toute donnée modifiable (notamment les références en Caml) est impérative : elle permet de faire des effets de bord (concept typiquement impératif). En programmation fonctionnelle, on ne fait aucune modification, aucun effet de bord.

Pour le tableau non modifiable, c'est un peu différent. Une liste est définie de manière récursive ; on peut la manipuler naturellement (concaténations, sous-listes...) avec des fonctions récursives.
Le tableau n'incite pas vraiment le fonctionnel : il est plus logique d'utiliser une boucle pour le parcourir. Un tableau non modifiable n'est donc pas une structure de données agréable à manipuler (la boucle for ne sert à rien si on ne fait pas d'effet de bord).
Tu peux le considérer comme fonctionnel, à condition que l'interface (les fonctions disponibles) soient faite pour encourager le fonctionnel (head, tail...).

Si tu veux un autre exemple pour comprendre la différence, compare une table de hachage avec un arbre binaire. Compare les types Hashtbl et Map de Caml : l'un t'incite à faire des effets de bord, l'autre t'encourage à ne pas en faire ; l'un modifie la structure de données lors de l'ajout, l'autre renvoie une nouvelle valeur sans faire d'effet de bord.

[InOCamlWeTrust]

Si tu veux un merveilleux exemple de vecteur fonctionnel, non modifiable, regarde du côté des vecteurs Haskell :

http://gorgonite.developpez.com/livr...l/?page=arrays

InHaskellWeTrust now on Haskell's Wiki page !