2024-11-12

content/blog/함수형 자바스크립트 입문/08장-함수자.md

@@ -0,0 +1,99 @@
+---
+title: 08장 함수자
+date: 2024-11-11 23:11:36
+category: 함수형 자바스크립트 입문
+tags: []
+draft: true
+---
+
+- 함수자(functor)라는 개념은 순수하게 함수형 방법으로 에러를 다룰 수 있도록 도와준다.
+
+## 함수자
+
+- 함수자란 기본적인 객체(다른 언어에서는 타입 클래스)로, 객체 내의 각 값을 실행할 때 새로운 객체를 실행하는 map 함수를 구현한다.
+
+### 함수자는 컨테이너다
+
+- 간단하게 함수지는 값을 갖고 있는 컨테이너다.
+- 함수자는 map 컨트랙트를 구현하는 객체다.
+
+### map 구현
+
+- map 함수는 Container의 값을 받고 해당 값에 전달된 함수를 적용한 후 결과를 다시 Container에 넣는다.
+
+## MayBe 함수자
+
+- MayBe 함수자는 좀 더 함수적인 방법으로 코드의 에러를 핸들링할 수 있다.
+
+```js
+const MayBe = function (val) {
+  this.value = val;
+};
+
+MayBe.of = function (val) {
+  return new MayBe(val);
+};
+
+MayBe.prototype.isNothing = function () {
+  return this.value === null || this.value === undefined;
+};
+
+MayBe.prototype.map = function (fn) {
+  return this.isNothing() ? MayBe.of(null) : MayBe.of(fn(this.value));
+};
+
+// 일반적인 명령형 방법
+let value = 'string';
+if (value != null || value != undefined) return value.toUpperCase();
+```
+
+- map에 전달된 함수가 null/undefined를 반환하더 라도 MayBe는 처리할 수 있다.
+- 모든 map 함수가 null/undefined를 받는 것과 상관없이 호출 된다는 점이다.
+
+### 실제 사용자 케이스
+
+- 에러를 던지지 않는다. map 함수가 응답에서 data를 얻으려 해도(이 경우에는 존재하지 않음) MayBe.of(null)을 반환해서 해당 map이 전달된 함수를 적용하지 않는다.
+- 매우 선언적으로 보인다.
+
+## Either 함수자
+
+- Either는 분기(branching-out) 문제를 해결한다.
+
+### Either 구현
+
+```js
+const Nothing = function (val) {
+  this.value = val;
+};
+
+Nothing.of = function (val) {
+  return new Nothing(val);
+};
+
+Nothing.prototype.map = function (fn) {
+  return this;
+};
+
+const Some = function (val) {
+  this.value = val;
+};
+
+Some.of = function (val) {
+  return new Some(val);
+};
+
+Some.prototype.map = function (fn) {
+  return Some.of(fn(this.value));
+};
+```
+
+- Some에서는 함수를 실행하는데, Nothing에서는 실행하지 않는다.
+
+```js
+const Either = {
+  Some: Some,
+  Nothing: Nothing,
+};
+```
+
+- 자바 경험이 있다먼 Either는 자바 8의 Optional과 유사함을 알 수 있다. 사실 Optional은 함수자다.