인프런 커뮤니티 질문&답변

안녕하세요, 강의 잘 듣구 있습니다.

다름이 아니라 reduce 가 포함된 파일을 컴파일하면 그림과 같은 에러가 납니다.

에러 해결을 위해서 아래 두 가지 방법을 시도해보았습니다.

• 에러메세지처럼 reduce 함수의 정의에 A extends Acc 로 명시

  • 이 해결방법은 옳지 않은 것 같다고 생각했습니다. (A -> number, Acc -> string 인 경우)

• else 문에 있는 baseReduce 를 Acc 타입으로 강제 캐스팅

책과 강의 코드 모두 살펴봐도 크게 다른 점이 없는 것 같아 질문드립니다.

감사합니다!

(제가 작성한 코드 첨부드립니다) 

function baseReduce<A, Acc>(
  f: (acc: Acc, a: A) => Acc,
  acc: Acc,
  iterator: Iterator<A>
): Acc {
  while (true) {
    const { done, value: a } = iterator.next();

    if (done) {
      break;
    }

    acc = f(acc, a);
  }

  return acc;
}

function reduce<A, Acc>(f: (a: A, b: A) => Acc, iterable: Iterable<A>): Acc;
function reduce<A, Acc>(
  f: (acc: Acc, a: A) => Acc,
  acc: Acc,
  iterable: Iterable<A>
): Acc;
function reduce<A, Acc>(
  f: (acc: Acc | A, a: A) => Acc,
  accOrIterable: Acc | Iterable<A>,
  iterable?: Iterable<A>
): Acc {
  if (iterable === undefined) {
    iterable = accOrIterable as Iterable<A>;
    const iterator = iterable[Symbol.iterator]();
    const { done, value: acc } = iterator.next();

    if (done) {
      throw new TypeError('reduce of empty iterable with no initial value');
    }

    return baseReduce(f, acc, iterator) as Acc;
  } else {
    // 왜 타입변환을 강제해야하는가..??
    return baseReduce(
      f,
      accOrIterable as Acc,
      iterable[Symbol.iterator]()
    ) as Acc;
  }
}