【Typescirpt】部分型を用いたコードを細かく理解したい

Question

実現したいこと

以下、参考書に掲載されているコードになります。
最初に渡された実引数が関数doubleに問題なく代入され、エラーが出ずに出力される理由をご教示頂きたく思います。

発生している問題・分からないこと

以下、私の解釈に問題がないかご確認頂きたく思います。
誤っている箇所がありましたら、ご指摘をお願いします。

①関数binに二つの引数が渡される
②関数binはBinaryFunc型を使用しており、二つの引数は問題なく渡すことが出来る
BinaryFunc型の右辺に関数doubleが記述されているため呼び出す。
③関数doubleはUnaryFunc型を使用しており、仮引数が一つのため第一引数のみ残され、計算結果が返る
→現在の解釈だと、BinaryFunc型はUnaryFunc型の部分型だと思っている。（理由は、BinaryFuncはUnaryFunc型のnumber型の引数を一つ持っており、さらに第二引数も持っているため）
関数binの時点ではBinaryFunc型なのに、関数doubleを呼び出すとUnaryFunc型で下位互換？になっている。
にもかかわらず、何故エラーが出ずに処理できてしまうのかが分からないです。

該当のソースコード

type UnaryFunc = (arg: number) => number;
type BinaryFunc = (left: number, right: number) => number;

const double: UnaryFunc = (arg: number) => arg * 2;
const add: BinaryFunc = (left: number, right: number) => left + right;

const bin: BinaryFunc = double;
console.log(bin(10, 100));

試したこと・調べたこと

• teratailやGoogle等で検索した
• ソースコードを自分なりに変更した
• 知人に聞いた
• その他

上記の詳細・結果

解決に至らなかった。

補足

特になし

Comments

[maisumakun]

JavaScriptレベルでは、引数の過不足は問題とされない（渡された個数以上の引数を仮引数としていた場合、不足分はundefinedとして処理が進む）ですが、そのことは把握された上での質問でしょうか？

[kosuke05]

maisumakunさん

ご返信頂き有難うございます。
引数の過不足は問題とされないのは把握しております。

[xebme]

戻り値の型が同じ場合、関数が部分型になるためには引数は反変( 部分型の逆)になるという情報があります。
https://zenn.dev/axoloto210/articles/advent-calender-2023-day11

[xebme]

関数において引数１つと２つが部分型にあてはまるかは別に調べて下さい。

[kosuke05]

xebmeさん

ご教示頂き有難うございます。
参考にさせて頂きます。

[xebme]

一言で言えば「リスコフの置換原則」と同じ概念です。参考サイトでは、反変と共変が別々に説明されていますが、1つの関数で引数の反変と戻り値の共変の両方もありうると思います。typescriptの言語仕様を調べて下さい。

Answer 1

内容が理解できたため、こちらに残します。

【以前の解釈】
①関数binに二つの引数が渡される
②関数binはBinaryFunc型を使用しており、二つの引数は問題なく渡すことが出来る
BinaryFunc型の右辺に関数doubleが記述されているため呼び出す。

【現在の解釈】
②で関数doubleを呼び出すのではなく、関数doubleが代入される。
（引数二つを持った状態で関数doubleを見にいくのではなく、doubleをUnaryFunc型とみなし、【BinaryFunc = UnaryFunc】と考える事で部分型に代入しているため問題ないと解釈できた。

上記、分かりにくい書き方でしたらすみません。

Answer 2

TypeScriptは構造によって型を抽象化します

class A{
  x:number=0
  y:String=""
}

class B{
  y:String=""
}

type X=number|B
type Y=number|String|B

const a:A={
  x:1,
  y:"Str"
},b:B=a

const x:Y=a,y:X=x
console.log(b.y)
console.log(y.y) 

Str
Str

シグネチャさえ合っていれば、ある型を別の型のオブジェクトとして扱うことができます

Comments

[kosuke05]

nanashi123さん

ご教示頂き有難うございます。
参考にさせて頂きます。