Okachi.js#38¶

4章1節「関数の宣言と呼び出し」

近況報告・小ネタ?¶

pyhack-camp
- ADをしてました twitter
nvim
- ちょっとしたプロジェクトならこれで回せそう
- でも、JetBrainsには勝てない

4.1.0 関数定義¶

5種類定義する方法がある(呼び方はどれもgreetN("Peacock")のはず

// 関数コンストラクター <-危険? :thinking_face:
let greet5 = new Function('name', 'return "hello " + name')

式と書いてあるのは=がついているから?

それらはなぜ安全でないのでしょうか? 最後の例をコードエディターに入力すると、その型は Function (関数)と表示されます。この Function 型とは何でしょうか? それは、(ご存じのとおり、後ろに () を置くことで)呼び出しが可能で、 Function.prototype のプロトタイプメソッドをすべて持っているオブジェクトのことです。しかし、そのパラメーターと戻り値は型付けされていないので、任意の引数を渡してその関数を呼び出すことができ、どの町でも違法となるであろうことをあなたがするのを、TypeScript は手をこまねいて見ているだけなのです。

4.1.1 Optional & Dafault Paramerter¶

シンプルな関数だと=を使って、複雑化してくるとsomeType = {}? ?を使う場面はあるのか?

4.1.2 可変長引数¶

...を使うことで任意の長さの引数を定義できる pythonだと*argsに型をつける?

4.1.3 call, apply, bind¶

applyは2番目がarray? callはそのまま可変長の引数を受け取れる? bindは新しい関数を生成しただけなので、使うには()が必要使う場面がいまいち想像できない...

4.1.4 this¶

黒魔術的?に使われるthisも、型付けするとこわくない?

4.1.5 Generator¶

だいたいpythonのGeneratorと同じ?型付けできるのも似ている function*と宣言する

4.1.6 Iterator¶

for-ofは内包表記的な書き方? unpack, splitは直感的

4.1.7 Call Signature¶

関数でアノテーションだけできるのは便利そう

4.1.8 Contextual Typing¶

インラインで宣言していないとだめ、なぜだろう?

4.1.9 Types of Overloaded Function¶

関数内でifで分岐したり、引数の名前にofが入るのが気持ち悪いけど、他にいい案が浮かばない

練習問題¶

1¶

TypeScriptは、関数の型シグネチャのうち、どの部分を推論するでしょうか? パラメーターでしょうか、戻り値の型でしょうか、それともその両方でしょうか?

~~両方~~ -> 戻り値(両方のときもある)

2¶

JavaScript の arguments オブジェクトは型安全でしょうか? もしそうでないとすると、代わりに何が使えるでしょうか?

安全でない。...を使うべき

3¶

すぐに出発する旅行を予約する機能が欲しいとします。オーバーロードされた reserve 関数(「4.1.9オーバーロードされた関数の型」を参照)を、3 番目の呼び出しシグネチャを作成して書き換えてください。このシグネチャは、目的地( destination )だけを取り、明示的な出発日( from )は取りません。この新しいオーバーロードされたシグネチャをサポートするように、 reserve の実装を書き換えてください。