Monad에 대한 것에 대해 탐구합니다.
Functor란 무엇인가? Functor Functor: 임의의 타입 T, U가 주어졌을 때, 연산 lift이 정의되는 01.
고차원 Lift에 대해 알아보자. (map) High Dimensional lift 앞에서 배운 lift은 기본적으로 1변수를 변환할 수 있는 함수이다.
Monad와 Functor 사이에는 Monoidal Functor라는 중간 단계가 있다. Monoidal Functor를 정의할 수 있는 언어 아무 언어에서나 정의될 수 있는 개념은 아니다. 다음의 조건이 선행되어야 한다.
실제 Functor는 무엇을 의미하는가? Functor 카테고리 사이에서의 사상(morphisms) 동질의 대상들을 규정하면, 그 사이를 비교하거나 대응하기 위한 수단도 필요하다. 집합의 경우 집합 사이의 함수가 그것이다.
함수형 프로그래밍을 공부하다보면 벽을 한번 마주한다. Functor와 Monad가 그것이다. 이걸 이해하기 위해서 위키피디아에서 집합론?, 범주론? 이런 걸 읽었던 적이 있는 것 같은데 여전히 잘 모르겠다. 이번에는 와닿는 방식으로 이해하는 것을 목표로 한다.
Apple에서 공개한 API인 Combine. 이제 Rx에서 Combine으로 많이 넘어간다고 한다. 무엇을 하는 것인지, 왜 좋은지, 바로 써먹기 위한 팁은 무엇이 있는지 알아본다.