Filter

查看解答我的解答

题目

Implement the type Filter<T, Predicate> takes an Array T, primitive type or union primitive type Predicate and returns an Array include the elements of Predicate.

解答

type Filter<T extends any[], P> = T extends [infer A, ...infer rest]
  ? [...(A extends P ? [A] : []), ...Filter<rest, P>]
  : [];