🍰 Partial Application

Currying, Compose and Pipe

권 기웅

@doondoony

2019. 2. 16

📚 목차

웃을 때까지 한다...

Partial Application
Currying
Compose
pipe
go vs pipe

📚 목차

🙄 함수형 프로그래밍?

map, filter, reduce...

몰라... 그게 뭐야 무서워...

함수동생 프로그래밍은요? 엌ㅋㅋ

그거 뭐 막 되게 좋은거라고...

부수효과... 동시성... 실행시점에 구애받지 않는...

오늘은 딱 주어진 주제에만 충실하려고 합니다

성의껏 해보려고 하다가는 제가 이해를 못해요

못난 발표자를 둔 스터디원들에게 미안하다아아악!

✍ Pre-requisite

함수형 프로그래밍이란?

순수 함수로 이루어진 함수 들의 조합을 통한 구현을 도모
불변성과 참조 투명성을 유지하여 디버깅, 테스팅
그리고 동시성 처리에 유리
프로그램은 데이터와 그것을 처리하는 순수 함수로 구성

✍ Pre-requisite

함수형 프로그래밍을 하기 전에

우리 모두가 알고 있는 개념들

✍ Pre-requisite

1. Spread Operator ...

사실 정확하게는 Spread, Rest Syntax 입니다

연산자의 특성은 ... 에 존재 하지 않습니다

(지연 평가, Infix Notation ~ 중절 표기 ~ 등)

✍ Pre-requisite

2. Higher-Order Function

First Class Function 과는 다른 의미입니다!

함수를 반환할 수 있어야 한다
함수를 다른 함수의 인자로써 전달할 수 있어야 한다

✍ Pre-requisite

3. First Class Function

Higher-Order Function 과는 다른 의미입니다!

함수가 일급 객체 (First Class Citizen) 임을 의미

언어 차원에서 이러한 기능을 지원 해주느냐에 따라 갈린다

변수나 데이터에 할당할 수 있다
객체의 인자 값으로 전달할 수 있다
객체의 리턴 값으로 사용할 수 있다

✍ Pre-requisite

4. for ... of

Iterator Protocol 을 따르는 모든 Collection 객체를 순회할 수 있습니다

✍ Pre-requisite

Iterable, Iterator, Generator, Iterator Protocol 은 다른 분 발표 시간에 헤헤

🍰 Partial Application

f: (X, Y, Z) → N

partial(f): (Y, Z) → N

f_{partial}(2,3)

🍰 Partial Application

우선, Application 이라는 단어의 의미는

웹 애플리케이션을 만드는 우리가 아는 그 의미가 아닌

"부분 적용"

🍰 Partial Application

무엇을 부분 적용 하는건가요?

"함수의 인자를 부분적으로 적용합니다"

🍰 Partial Application

Partial Application 은 부분 적용 후에는

더 이상의 papply 없이 함수 호출이 되어야 합니다

🍰 Partial Application

Note

Currying 과는 다르다. Currying 과는!
부분적용은 polyadic function(다가 원소 함수) 의 인자를 미리 부분적용
하나 또는 몇 개의 인자를 줄인 함수를 반환한다

🍛 Currying

🍛 Curry...?

🍛 Currying

{\displaystyle h(x)(y)=x+y^{2}=f(x,y)}

{\displaystyle f(x,y,z)=h(x)(y)(z).}

아까보다는 읽을만 하시죠...?

🍛 Currying

Currying 은 "여러개의 인자를 받는 함수" 를

단항 함수(Unary Function) 로 쪼개어

단항 함수를 순차적으로 사용하는 것을 의미합니다

🍛 Currying

예를 들어 이렇게 써요

💑 Compose

임의의 집합 X, Y, Z 및 두 함수

f\colon X\to Y

g\colon Y\to Z

g\circ f\colon X\to Z

g\circ f\colon x\in X\mapsto g(f(x))

가 주어졌을때, 이 두 함수의 합성

g\circ f

는 다음과 같다

💑 Compose

g\circ f\colon x\in X\mapsto g(f(x))

이 부분

g(f(x))

만큼은 익숙합니다.

중첩해서 함수 사용한 거

💑 Compose

Compose 는 함수를 조립하여
새로운 기능을 하는 함수를 구성하는 것

💑 Compose

근데 add10 이 아니라 내가 따로 전달하고 싶다면?

💑 Compose

근데 add10 이 아니라 내가 따로 전달하고 싶다면?

💑 Compose

Currying 을 통해서 함수를 다시 한 번 조합!

🚰 pipe

함수 합성을 위한 함수로는

pipe, compose 가 있습니다

큰 차이는 함수 합성의 방향인데

pipe는 LEFT → RIGHT

compose는 RIGHT → LEFT

의 차이가 있습니다

🚰 pipe

또 다른 특징은

pipe 는 실행 결과를 반환하지 않고

합성된 함수를 반환합니다

🚰 compose

🚰 pipe

pipe 의 구현 코드 맛보기

👉 go vs pipe

앞서 코드에서 보셨겠지만

go 는 실행 결과를 반환
pipe 는 합성된 함수를 반환 합니다

🍰 Partial Application

✍ Pre-requisite

✍ Pre-requisite

✍ Pre-requisite

✍ Pre-requisite

✍ Pre-requisite

✍ Pre-requisite

✍ Pre-requisite

✍ Pre-requisite

🍰 Partial Application

🍰 Partial Application

🍰 Partial Application

🍰 Partial Application

🍰 Partial Application

🍰 Partial Application

🍰 Partial Application

Note

🍛 Currying

🍛 Currying

🍛 Currying

🍛 Currying

🍛 Currying

💑 Compose

💑 Compose

💑 Compose

💑 Compose

💑 Compose

💑 Compose

💑 Compose

💑 Compose

🚰 pipe

🚰 pipe

🚰 pipe

🚰 compose

🚰 pipe

🚰 pipe

👉 go vs pipe

👉 go vs pipe

👉 Appendix / RxJS

👉 Appendix / RxJS

끝

감사합니다