タプル連合型の制御フロー解析

Question

タプルの和集合型は、次の例の関数パスで各ケースを手作業で指定しなくても、コードパスの型制約を満たすことができますか？

type options = 
    [string, (a:string) => number] 
    | [number, (b:number) => string ] 

function f([input,fn]: options) { 
    // Error: Cannot invoke an expression which lacks a call signature 
    return fn(input) 
} 

inputがstringであれば、fnはstringを受け入れる、とinputがnumberであれば、fnはnumberを受け入れます。それでも、Typescriptは、string | numberと考えてfnは入力を受け入れることができないと考えています。

可能な機能は(string) => number | (number) => stringです。ここで入力はstring | numberです。受け入れられた機能が(string|number) => number | (string|number) => stringのtypecriptであれば問題ありません。しかし、私はTypescriptに、がargを受け入れることができないという方法がないことを伝えたいと思います（これは本当です）。

私はTypescriptが個々のタイプが互換性がないと判断している理由を理解しています。しかし、私はtypescriptに各可能なタプルが自己完結型であることを伝える方法を探しており、独自の関数で独自のargを呼び出すことができます。

Answer 1

これを機能させるにはタイプセーフな方法があります。 asキーワードがキャストされていない場合は、はとなります。タイプに互換性がない場合は文句を言います。

type options = 
    [string, (a:string) => number] 
    | [number, (b:number) => string ] 

function f([input,fn]: options) { 
    return (fn as (a: string | number) => string | number)(input); 
} 

活字体は、それ自体で、このいずれかを把握するために十分にスマートではありませんので、タイプに少しだけを広げて少しの助けを必要とします。