4.1 関数の宣言と呼び出し 4.1.1 オプションパラメーターとデフォルトパラメーター 4.1.2 レストパラメーター 4.1.3 call、apply、bind 4.1.4 thisの型付け 4.1.5 ジェネレーター 4.1.6 イテレーター 4.1.7 呼び出しシグネチャ 4.1.8 文脈的型付け 4.1.9 オーバーロードされた関数の型 4.2 ポリモーフィズム 4.2.1 ジェネリックはいつバインドされるか? 4.2.2 ジェネリックはどこで宣言できるか? 4.2.3 ジェネリックの型推論 4.2.4 ジェネリック型エイリアス 4.2.5 制限付きポリモーフィズム 4.2.6 ジェネリック型のデフォルトの型 4.3 型駆動開発 4.4 まとめ 4.5 練習問題