수학에서의 참조 투명성

x = 2 + (3 * 4)
//이 수식을 다음과 같이 변경해도 결과는 똑같다.
x = 2 + 12

• 3 * 4 라는 식이 있고 그 식의 결과인 12가 있다. 식을 그 식의 결과로 모두 치환해도 문제가 없기 떄문에(3 * 4)의 수식은 참조에 투명하다고 할 수 있다.

프로그래밍에서의 참조 투명성

int add(int a, int b) {
    return a + b
}

int mult(int a, int b) {
    return a * b;
}

int x = add(2, mult(3, 4));

• mult(3, 4) : 순수함수의 실행부분을 실행결과값인 12로 대체해도 프로그램에 전혀 문제가 없으므로 mult(3, 4)는 참조 투명하다.

참조 투명하지 않은 예

int add(int a, int b) {
    int result = a + b;
    System.out.println("Returning " + result);
    return result;
}

var result = add(3, 4);

• add(3, 4); 부분을 12로 바꾸게 되면 로그가 찍히지 않기 떄문에 프로그램의 결과가 달라진다.
• 따라서 위의 add 함수는 참조 투명하지 않다.

명령형 프로그래밍에서 참조 투명성

명령형 프로그램과 함수형 프로그램 모두에서 함수를 사용한다. 함수형 프로그램에서는 함수만 사용하지만 명령형 프로그램에서는 다음과 같이 3가지 함수를 사용한다.

1. 순수 함수 : 사이드 이펙트가 없음. (프로그램의 상태 변경X)
2. 순수 이펙트 : 사이드 이펙트만 일으키는 함수. (프로그램의 상태만 변경함)
3. 사이드 이펙트가 있는 함수 : 값을 리턴하기도하고 프로그램의 상태도 바꾸는 함수.