↑の例みたいにデフォルト引数をそれぞれ与えてしまえば、もし型を考えるなら、２通りの型チェックで呼び出せる事になる今はそうなっていない

8:35 AM

もし解決できるようにすると、

8:35 AM

与えられてる実引数がどのパラメータに対応するかを、この方式で引数を増やせば増やすほど候補が増えていくので

8:35 AM

例えば4引数とかにしちゃったら探索範囲が2^4で16倍に爆発しちゃいます

8:35 AM

具体的な型がわかっているときならすぐにチェックできるけど

8:36 AM

型推論の最中だったりすると型が未確定のままこの組み合わせを調べないといけないとかが生じるので

8:36 AM

オーバーロード数が増えてるのと同じで型推論がめっちゃ重くなっちゃう状況が発生する可能性があります