2016년 9월 1일 목요일

ReactiveX / RxJS - 상태(State)에 대한 두 가지 접근

RxJS, BaconJS, Highland, 등등 정말 Stream 전성시대. FRP(Functional Reactive Programming)가 흥하는 시대를 살고 있는 느낌이다.
기존의 Array에 람다 함수들에 시간 개념이 들어간 정도인데 그렇다면 데이터가 이렇게 흘러가고 있다면 어떻게 상태가 변할때 마다 표현할지 고민하는데
그걸 State Store 라는 걸 사용해서 상태의 변화를 Reduce (Rx에선 scan) 하여 반영한다.

가령 기존의 Control Flow 기반 프로그래밍에선
1. 상태 변수를 생성한다.
2. 이벤트가 발생한다.
3. 이벤트 콜백을 실행하여 상태 변수를 갱신한다.
4. 상태 변수를 UI에 반영한다.
였다면

RxJS같은 Data Flow 기반 프로그래밍에선
1. 이벤트를 발행한다.
2. 이벤트를 상태 변화로 변환(map)한다.
3. 2를 reduce 한 스트림을 구독한다.
4. 3의 스트림이 발생할 때마다 UI에 반영한다.
정도의 차이라고 볼 수 있겠다.

그러니까 오늘의 나는 태어날 때의 나부터 어제의 나까지를 리듀스 한 것이라고 (.....)

... 같은 건 없다.
(출처: twitter)

http://jsbin.com/bowumar 에 클릭 카운터를 구현해보았다.

let $=(e=>document.querySelector(e));
let approach1=()=>{
  let clickStream=new Rx.BehaviorSubject(0);
  $("#inc").addEventListener('click',e=>clickStream.next(1));
  $("#dec").addEventListener('click',e=>clickStream.next(-1));
  clickStream.scan((x,y)=>x+y).subscribe(o=>$("#counter").innerText=o);
};
let approach2=()=>{
  let incStream=Rx.Observable.fromEvent($("#inc"), "click").map(o=>1);
  let decStream=Rx.Observable.fromEvent($("#dec"), "click").map(o=>-1);
  incStream.merge(decStream).scan((x,y)=>x+y, 0).subscribe(o=>$("#counter").innerText=o);
};
approach1();

두 가지로 접근해보았는데 다른 관점도 있을 수 있겠지만 현재 내가 아는 범위 내에서 정리해보면
첫쨰로, 초기값을 0을 갖는 Subject로 clickStream 이라는 걸 만들고 이벤트가 발생할 때 마다 clickStream 에 변화값을 inc/dec에 따라 1, -1를 각각 넘겨서

event(inc/dec) 0 i i d i d d i i
clickstream    0+1+1-1+1-1-1+1+1 
scan(x,y)      0 1 2 1 2 1 0 1 2
            (초기값)

이렇게 누적하는 구조라고 볼 수 있다. 물론 Stream이기 때문에 매 스텝마다 다 더하는게 아니라 마지막 reduce(scan)한 값에서 부터 반영하는 것이라 문제 없다.

둘쨰로, 상태 변화에 영향을 주는 이벤트들을 Observable로 만들고 그 각각을 뭉쳐서 reduce하는 것이다.

incstream . c c . c . . c c
.map x    . 1 1 . 1 . . 1 1 -|
decstream . . . c . c c . .  |--|
.map y    . . .-1 .-1-1 . . -|  |
merge     . 1 1-1 1-1-1 1 1 ----|
scan(x,y) 0 1 2 1 2 1 0 1 2  
       (초기값)

좀 더 복잡한 것 같지만 다양한 상황이 발생할 경우 이벤트의 콜백에 로직을 넣는 것보다 이벤트 별로 스트림을 만드는 것이 나을 수도 있다.

실제로 상태를 알아내는 것은 전후 관계가 중요하기 때문에 combineLatest 같은 것으로 간편하게 할 수도 있고 필터를 정교하게 한다던가 시간 제한을 둔다던가 여러가지 상황이 있을 수 있지만 시간에 따라 흘러가는 상태값이 발생할 때 마다 scan으로 누적해서 처리한다라는 개념만 잘 잡혀있으면 어렵지 않을 것이다.