인간의 사고와 업무를 순수 함수형 프로그래밍 언어들처럼 완벽히 수식화하는게 어렵죠. free monad 이런거 보면 그냥 rxjs 정도까지가 최대 허용범위인듯
. Fp도 배보다 배꼽이 커지는 순간이 옵니다.
기존 fp 효과도 데이터와 메서드를 분리한 정도지,
옵셔널이 생각보다 잘 안쓰이는것만봐도 타입 추상은 불필요한 추상화임(타입 맞추느라 생산성을 넘깎아먹음).
클로저마냥 데이터와 연산을 더 추상화하는 방향이 아닌이상 기존언어를 활용하기엔 한계가있음