Блог

Как мне указать TypeScript подключить тип параметра fn выше к типу параметра ...args ниже??

   /**
   * @template F
   * @param {(...o: Parameters<F>) => boolean} fn
   */
  function not(fn) {
    return (
      /**
       * @param {Parameters<F>} args
       * @returns {boolean}
       */
      (...args) => {
        return !fn(...args);
      }
    );
  }
 

Поскольку вы используете JSDoc, я думаю, я бы написал это так:

 /**
 * @template {any[]} A
 * @param {(...args: A)=>boolean} fn
 */
function not(fn) {
  return (
    /**
     * @param {A} args
     * @returns {boolean}
     */
    (...args) => {
      return !fn(...args);
    });
}
 

Дело в том, чтобы быть универсальным в A , тип args вместо в F котором предположительно является типом функции.

Вы можете протестировать ее:

 /**
 * @param {string} x
 * @param {number} y
 */
function hmm(x, y) {
  return x.length === y;
}

const notHmm = not(hmm);
notHmm("", 2)
notHmm(123, "") // error!
// --> ~~~
// Argument of type 'number' is not assignable to parameter of type 'string'.(2345)
notHmm(); // error!
// Expected 2 arguments, but got 0.(2554)
 

Выглядит хорошо.

Игровая площадка ссылка на код

В TS это было бы

 function not<A extends any[]>(
  fn: (...args: A) => boolean
) {
  return (
    (...args: A) => {
      return !fn(...args);
    });
}
 

Ссылка на игровую площадку для кода