[Clean Architecture] 6장. 함수형 프로그래밍

Craeted: 2024-03-10

정수를 제곱하기

`1`	`(println (take 25(map (fn [x] (* x x)) (range))))`

`1`	`0..24 \|> Enum.map(fn x -> x * x end) \|> Enum.each(fn x -> IO.puts(x) end)`

아키텍트는 왜 변수의 가변성을 염려하는가?
경합 조건, 교착 상태 조건, 동시 업데이트 문제가 모두 가변 변수로 인해 발생하기 때문
다시 말해 동시성 애플리케이션에서 마주치는 모든 문제, 즉 다수의 스레드와 프로세스를 사용하는 애플리케이션에서 마주치는 모든 문제는 가변 변수가 없다면 절대로 생기지 않음
아키텍트라면 동시성 문제에 지대한 관심을 가져야만 함
- 우리는 스레드와 프로세스가 여러 개인 상황에서도 설계한 시스템이 여전히 강건하기를 바람
불변성은 정말로 실현 가능할까?
- 대답은 대체로 긍정적
  - 단, 저장 공간이 무한하고 프로세서의 속도가 무한히 빠르다고 전제한다면
- 자원이 무한대가 아니라면 대답은 조금 미묘함
- 타협이 필요하다.

불변성과 관련하여 가장 주요한 타협 중 하나
- 애플리케이션, 또는 애플리케이션 내부의 서비스를 가변 컴포넌트와 불변 컴포넌트로 분리하는 일
불변 컴포넌트
- 순수하게 함수형 방식으로만 작업이 처리됨
- 어떤 가변 변수도 사용되지 않음
- 변수의 상태를 변경할 수 있는, 즉 순수 함수형 컴포넌트가 아닌 하나 이상의 다른 컴포넌트와 서로 통신함
상태 변경은 컴포넌트를 갖가지 동시성 문제에 노출하는 꼴
- 흔히 트랜잭션 메모리와 같은 실천법을 사용하여 동시 업데이트와 경합 조건 문제로부터 가변 변수를 보호함
트랜잭션 메모리
- 데이터베이스가 디스크의 레코드를 다루는 방식과 동일한 방식으로 메모리의 변수를 처리
- 트랜잭션을 사용하거나 또는 재시도 기법을 통해 이들 변수를 보호함
클로저의 atom 기능
- CAS 알고리즘을 전략으로 사용
  - 이건 Java 의 Atom~ 과 동일한 알고리즘
애플리케이션을 제대로 구조화하려면 변수를 변경하는 컴포넌트와 변경하지 않는 컴포넌트를 분리해야 함
- 그리고 이렇게 분리하려면 가변 변수들을 보호하는 적절한 수단을 동원해 뒷받침해야함
현명한 아키텍트라면 가능한 한 많은 처리를 불변 컴포넌트로 옮겨야 하고, 가변 컴포넌트에서는 가능한 한 많은 코드를 빼내야 한다.