同じ関数型を返す汎用memoize関数

Question

関数を引数として受け取り、memoize関数と同様のmemoize関数を返そうとしています。

function memoize<T extends Function, R>(f: T): T { 
    const memory = new Map<string, R>(); 

    const g = (...args: any[]) => { 
    if (!memory.get(args.join())) { memory.set(args.join(), f(...args)); } 
    return memory.get(args.join()); 
    }; 

    return g; // g as T => [ts] Type '(...args: any[]) => R' cannot be converted to type 'T'. 
} 

// const exp: (...args: any[]) => RegExp 
const exp = memoize<(text: string) => RegExp, RegExp>((text: string) => { 
    return new RegExp(text.replace(/[^a-zA-Z0-9\s]/g, ".").replace(/\s+/g, "\\s+"), "ig"); 
}); 

問題は、私はちょうどgを返す場合、EXPの署名が(...args: any[]) => RexExpになることであると私はTであることをグラムを強制しようとした場合、その後、tsは、gはTに割り当て可能ではないと文句を言い。

memoizeに渡された関数の正確な同じ型を持つようにexpするためにfのと同じタイプであることをgを「強制」する方法はありますか？

Answer 1

これが動作しているようだ：

function memoize<R, T extends (...args: any[]) => R>(f: T): T { 
    const memory = new Map<string, R>(); 

    const g = (...args: any[]) => { 
     if (!memory.get(args.join())) { 
      memory.set(args.join(), f(...args)); 
     } 

     return memory.get(args.join()); 
    }; 

    return g as T; 
} 

const exp = memoize((text: string) => { 
    return new RegExp(text.replace(/[^a-zA-Z0-9\s]/g, ".").replace(/\s+/g, "\\s+"), "ig"); 
}); 

（code in playground）