1. 개요

1.1. 정의

• 사이드 이펙트(부수효과) 를 제어하기 위해 나온 함수형 프로그래밍 패러다임 기반 방법론
  • 함수형 프로그래밍의 핵심: 참조투명성 준수
    • 참조투명성

1.2. 개념

• ROP 를 적용하게 되면 로직에서의 기대값은 성공타입 / 실패타입 만 존재한다.

  에러(예외상황)도 하나의 타입이다.

1.3. 일반적 상황(api process)

1.3.1. happy path

1.3.2. unhappy path(real world)

1.3.3. functional path

• CF) pipe 의 원리

2. 원리

2.1. 모나드란

• 함수자(functor)로서, 컨테이너 안으로 값을 승급하고 어떤 규칙을 정해 통제한다는 생각으로 자료형을 생성
• 특정 목적에 따라 각각 다른 컨셉들이 존재
  • MayBe: 또는 Optional, 값이 있을 수도 있고 없을 수도 있다.
  • Result: 또는 Either
    • OK(Right) / Error(Left) 등으로 하여 성공과 실패를 구분함
• happy path
• unhappy path

2.1.1. 함수자(functor)

• 객체로서 객체 내의 각 값을 실행할때 **같은 객체를 return**하는 map interface 를 구현

  [].map(x : x * 2)
  

  • list 역시 함수자의 일종

  • 이러한 원리 때문에 method channing 이 가능 + 확실한 타입 보장

    data.map(...).filter(...).filter(...).map(...) 
    # 이게 가능한 이유는 map과 filter 가 [] 를 return 하기 때문
    

    • data 가 어떻든지, list 이기만 하면 결과값이 list 임을 보장할 수 있다.