関数の型が特定の型であることを確認する（保証させる）方法はありますか？

Question

型がわからない関数について、特定の呼び出しシグネチャを持つことを確認することはできますか？
下記の例で言うと mod.execute は (a: string, b: number) => [boolean, string] という型を持つことを確認して、もし違ったならエラーを発生させたいのですが。

const mod = await import('/home/foo/mod.ts') // 動的インポート（foo/mod.ts には execute() という関数が定義され export されている）
if ('execute' in mod && typeof mod.execute === 'function'){
  const execute: (a: string, b: number) => [boolean, string] = mod.execute
  let [doFinish, str]: [boolean,  string] = execute('string', 1)
}

Comments

[hoshi-takanori]

実行時には JavaScript なので型情報はありません…。

[noc]

原理的な問題なのですね。
length で引数の数を調べて、戻り値は個別にチェックするしかなさそうですね。