Functional Programming (TypeScript)

Array.prototype^[1]

map

• 배열 내의 모든 요소 각각에 대하여 주어진 함수를 호출한 결과를 모아 새로운 배열을 반환한다.

[1, 4, 9, 16].map((item) => item * 2); // [2, 8, 18, 32]

forEach

• 주어진 함수를 배열 요소 각각에 대해 실행한다.

['a', 'b', 'c'].forEach((item) => console.log(item));
// a
// b
// c

filter

• 주어진 함수의 테스트를 통과하는 모든 요소를 모아 새로운 배열로 반환한다.

[3, 10, 20, 1, 9].filter((item) => item < 10);
// [3, 1, 9]

some

• 배열 안의 어떤 요소라도 주어진 판별 함수를 통과하는지 테스트한다.
• 조건에 맞는 요소가 있으면 즉시 true를 반환한다.

[1, 2, 3, 4, 5].some((item) => item % 2 === 0);
// true

every

• 배열 안의 모든 요소가 주어진 판별 함수를 통과하는지 테스트한다.
• 조건에 맞지 않는 요소가 있으면 즉시 false를 반화한다.

[1, 30, 39, 29, 10, 13].every((item) => item < 40);
// true

reduce

• 배열의 각 요소에 대해 주어진 리듀서(reducer) 함수를 실행하고, 하나의 결과값을 반환한다.

// 1 + 2 + 3 + 4
[1, 2, 3, 4].reduce((acc, curr) => acc + curr); // 10

// 10 + 1 + 2 + 3 + 4
[1, 2, 3, 4].reduce((acc, curr) => acc + curr, 10); // 20

Monad

• 모나드는 타입이자 디자인패턴이다.
• 모나드가 되기 위해서는 다음 3가지 요소가 필요하다.
  • 타입 생성자 - 원시 타입에 대해 모나드화된 타입을 만들기 위한 생성자.
  • unit 함수 - 원시 타입의 값을 모나드에 넣는 함수. T 타입 값을 받아 M<T> 타입의 값을 반화한다.
  • bind 함수 - 다른 모나트 타입으로 동작을 연결하는 함수. M<T>가 있으면 T 타입 변수를 받아 M<U> 타입의 값을 반환한다.

interface M<T> { }

function unit<T>(value: T): M<T> { ... }

function bind<T, U>(instance: M<T>, transform: (value: T) => M<U>): M<U> { ... }

참고자료

• liam.m, “Monad Programming with Scala Future”, kakao Tech, 2016.
• 안도형, “자바스크립트로 함수형 프로그래밍 아주 살짝 맛보기”, rinae’s devlog, 2018.
• 김용균, “JavaScript 모나드”, 매일 성장하기, 2015.

이 문서를 인용한 문서

• TypeScript