Clarification des effets secondaires de la programmation fonctionnelle

Question

J'essaie actuellement de comprendre les effets secondaires en général en ce qui concerne la programmation fonctionnelle, la raquette pour être exacte. Je crois comprendre qu'il s'agit de changer l'état d'une variable, comme une variable globale.

Voici un code que j'ai écrit;

; Define a variable with the value of 5 
(define x 5) 

; Define a function to add 1 to x 
(define addX 
(+ 1 x)) 

; Test out values 
x 
addX 
x 

qui délivre 5 6 5.

Si pas la dernière valeur de 6? Ou est le principe fondamental qui me manque, le fait que la valeur est apatride lors de l'utilisation de la programmation fonctionnelle?

Answer 1

La façon dont votre code est écrit, vous pouvez penser à x comme une constante - à savoir, addX ne le fait pas muter la x obligatoire.

Il est comme la même chose que (pseudocode)

constant X = 5 

constant addX = X + 1 

print(X)  ; 5 
print(addX) ; 6 
print(X)  ; 5 

Programmation fonctionnelle nécessite les immuables structures de données. Si vous approchez le schéma/la raquette avec des notions d'autres langages (de style impératif), vous aurez du mal et le code que vous produisez sera très mauvais.

Answer 2

(+ 1 x) est une expression. Le résultat de cette expression, dans le cas où nous avons déjà (define x 5), est 6. Cette valeur juste ... s'infiltre à tout ce qui a essayé de l'évaluer. Que nous demandions à DrRacket de l'évaluer, ou que nous l'assignions à autre chose, comme (define addX (+ 1 x)), ce qui change est que l'expression devient la valeur. Par conséquent, si vous voulez attribuer une valeur à un identificateur déjà introduit, vous devez indiquer à l'interpréteur de faire cette affectation. Ce formulaire est set!, comme dans,

(define addX #f) 
addX ; => #f 
(set! addX (+ 1 x)) 
addX ; => 6