ちょっと深堀りTypeScript

はじめにはっきりしておきたいこと

• 私のスタンス：型のある言語が大好き
• 関数を作るとき、まず型を書いて具体的なコーディングに入るタイプ

---

TypeScriptとは

• TypeScriptは「型のあるJavaScript」
• 特に嬉しいのがnullやundefinedの悪影響が緩和されること

---

JavaScriptの危ない例

function firstElement(ary) {
  ...
}

配列の先頭要素を返す関数。配列の要素数が0の場合はどうなる？
→　例外がスローされる？それともnullが返る？それともundefined？

---

TypeScriptによる改善

function firstElement<E>(ary: E[]): E {
  ...
}

この場合、要素数が0だと例外がスローされると推測できる。

---

function firstElement<E>(ary: E[]): E | undefined {
  ...
}

この書き方だと、要素数が0だとundefinedが返ると推測できる。

---

更に大事なこと！

function firstElement<E>(ary: E[]): E {
  if (ary.length === 0) {
    return undefined;
  } else {
    return ary[0];
  }
}

こう書くとコンパイルエラーになります！
→　関数の宣言ではundefinedを返すことになっていないのに、undefinedを返そうとしているから。

---

JavaScriptの怖いところ

• 無意識にundefinedの可能性のあるコードを書いてしまうことは非常によくあります。
  これを防げるだけでもTypeScriptを導入する価値があります。

---

他のありがたい機能

• interface：プロパティの名前と型を明示できる
  JSでプロパティの有無が原因でバグを仕込んでしまうのは非常によくあります。

---

TypeScriptの闇

• interfaceはありがたい一方、JSで便利に書いていたデータ操作がやりにくくなり、大きなストレスとなることがあります。
• そもそも型にはストレスになりがちな要素が多くあります。これは否定できないです。。。

---

最後に：TypeScriptを使い始めてみるなら

• nullやundefinedを厳密に扱ってみる
• interfaceを使ってみる

この２つだけでも、価値が高いと思います！