리프팅?

• 리프팅 이란 함수형 프로그래밍의 개념.
• 특정 타입을 다루는 함수를 특정 타입과 관련된 다른 타입을 다루는 함수로 변환 시키는 기술

function add10(x: number): number {
  return x + 10;
}

function addA(x: string): string {
  return x + 'a';
}

---

//콜백을 받고 P인자를 받아서 R인자로 이루어진 배열을 반환하는 함수
function transFunctionForArray<P, R>(f: (x: P) => R): (x: P[]) => R[] {
  return (xArr: P[]): R[] => {
    const resultArr: R[] = [];
    
    for (const x of xArr) {
      resultArr.push(f(x));
    }
    
    return resultArr;
  }
}

// add10함수는 number만 다루지만 number를 받아서 number 배열을 반환하게됨. add10함수가 배열을 다룰 수 있게됨
const add10ForArray = transFunctionForArray<number, number>(add10);

// string를 받아서 string 배열을 반환 addA함수가 배열을 다룰 수 있게됨
const addAForArray = transFunctionForArray<string, string>(addA);

펑터

• 다른 타입을 받아서 구성되는 타입(? 다른 타입에 의존한다고 봐야하는것인가?)
• 자신을 구성하는 타입의 값을 다루는 함수를 리프팅 하거나 자신에게 적용하는 방법을 제공해야함

펑터는 타입이다. 함수를 인자로 받고 해당 함수를 자신의 타입을 적용한 한수를 반환하는 타입

함수를 인자로 받아서 자신의 타입을 적용하나는 과정에서 리프팅이 일어난다.

배열은 펑터 타입이다?

• 다른 타입을 받아서 구성되는 타입 → Array<T> T[] ex.) Array<string> string[]
• 자신을 구성하는 타입의 값을 다루는 함수를 리프팅 하거나 자신에게 적용하는 방법을 제공해야함 → 배열의 map 메서드의 타입 시그니처 <U>( func: (x: T) ⇒ U): U[]