Non, OCaml n'est pas fonctionnellement pur, il a des tableaux mutables, des références, etc, et le système de types ne capture pas cela.
Après, la notion de « langage pur » est assez vague de toutes façons, et en fonction de celle qu'on prend même des langages souvent dits fonctionnellement purs comme Haskell peuvent ou ne pas l'être. Par exemple Haskell l'est (enfin, peut-être qu'il y a des échappées unsafe), au sens, toute impureté (~ effet de bord) est capturée par le système de types. C'est une sur-approximation, c'est-à-dire des fonctions globalement pures peuvent êtres considérées impures, mais toute fonction impure est bien considérée impure par le système de types.
[^] # Re: Heureux
Posté par anaseto . En réponse au journal Elm sort en version 0.19.1. Évalué à 4.
Non, OCaml n'est pas fonctionnellement pur, il a des tableaux mutables, des références, etc, et le système de types ne capture pas cela.
Après, la notion de « langage pur » est assez vague de toutes façons, et en fonction de celle qu'on prend même des langages souvent dits fonctionnellement purs comme Haskell peuvent ou ne pas l'être. Par exemple Haskell l'est (enfin, peut-être qu'il y a des échappées unsafe), au sens, toute impureté (~ effet de bord) est capturée par le système de types. C'est une sur-approximation, c'est-à-dire des fonctions globalement pures peuvent êtres considérées impures, mais toute fonction impure est bien considérée impure par le système de types.