📕[책] 쏙쏙 들어오는 함수형 코딩 - 12

요약

😇
데이터가 전부 불변형이면 시간에 따라 변하는 상태 (e.g. 장바구니 상태) 를 어떻게 다룰 수 있나?
-> 그럴 때는 '교체(swapping)'를 한다.

불변 데이터 구조를 사용하면 당연히 메모리를 더 많이 쓰고 더 느리다.
하지만,

1. GC는 매우 빠르고, 생각보다 많이 복사 하지 않는다.
   • 얕은 복사, 구조적 공유
2. 함수형 프로그래밍 언어에서 지원하는 불변 데이터 구조를 사용하면 된다.
   • 직접 만든 것 보다 효율적. 최대한 많은 구조를 공유한다. 이 역시 copy-on-write에 기반한 구현.
3. 언제든 최적화 하면 된다.
   • 애플리케이션 개발에서 병목 지점을 항상 예상치 못한 지점에서 발생. 미리 최적화 하기 보다는 일단 만들어 놓고 느린 부분이 있다면 그 때 최적화.

😇
객체에 대한 copy-on-write
-> 배열과 동일한 방식
1. 복사본 만들기 2. 복사본 변경하기 3. 복사본 리턴하기.

다만, 자바스크립트에서 객체를 복사하기 위해서는 Object.assign() 메서드를 활용한다.

발췌

얕은 복사 (shallow copy)

중첩된 데이터 구조에 최상위 데이터만 복사. 예를 들어, 객체를 원소로 가지는 배열을 '얕은 복사' 하면, 배열만 복사하고 안에 있는 객체는 참조로 공유.

구조적 공유 (structural sharing)

두 개의 중첩된 데이터 구조가 어떤 참조를 공유한다면, '구조적 공유' 라고 한다.

메모

• 구조적 공유는 참조를 공유하는데, 이 때 발생할 수 있는 데이터 변경의 위험은 없을까?
  • 불변 데이터 구조 하에서 구조적 공유는 안전하다. 어찌 됐든 참조를 통해 직접 '쓰기'를 하지 않기 때문이다.
    예를 들어, 객체들을 가지는 배열을 얕은 복사하여 구조적 공유를 한 후, 복사된 배열의 원소 중 하나의 객체를 변경한다고 해보자. 이 때도, 그 객체를 다시 복사하고 -> 그 복사본을 변경하고 -> 변경된 복사본을 원래 객체의 자리에 할당하면서 '교체'하기 때문에 데이터 변경의 위험이 없다.