効果的な TypeScript

第3章 タイプ推論 型推論

この作品はAIを使って翻訳されている。ご意見、ご感想をお待ちしている：[e-mail]

、産業界で使われているプログラミング言語では、「静的に型付けされた」と「明示的に型付けされた」は、 、伝統的に同義語であった。C、C++、Java......これらはすべて、型を書き出させるものだった。MLやHaskellのような言語には長い間、洗練された型推論システムがあり、過去10年の間に、このシステムは産業用言語にも導入され始めた。C++はauto 、 Javaはvar を追加した。

Typescriptは型推論を多用する。うまく使えば、完全な型安全性を得るために必要な型注釈の数を劇的に減らすことができる。TypeScriptの初心者と経験豊富なユーザを見分ける最も簡単な方法の1つは、型アノテーションの数である。経験豊富なTypeScript開発者は、比較的少ないアノテーションしか使用しない（しかしそれらを効果的に使用する）が、初心者は冗長性のある型アノテーションでコードを溺れさせるかもしれない。

この章では、型推論で起こりうるいくつかの問題と、その解決方法を紹介する。この章を読み終えると、TypeScriptがどのように型を推論するのか、どのような場合に型宣言を記述する必要があるのか、型が推論できる場合でも型宣言を記述するのが良い考えなのかについて、十分に理解できるはずだ。

項目19：推論可能な型でコードを散らかさないようにする

多くの新しいTypeScript開発者がJavaScriptからコードベースを変換する際に最初に行うことは、コードベースを型アノテーションで埋めることである。TypeScriptは結局のところ、型に関するものだからだ！しかし、TypeScriptでは多くのアノテーションは不要である。すべての変数に型を宣言するのは逆効果であり、スタイルが悪いとみなされる。

書いてはいけない：

let x: number = 12;

その代わり、ただ書けばいい：

let x = 12;

エディターでx にマウスオーバーすると、そのタイプがnumber （図3-1に示すように）と推論されていることがわかる。

図3-1. 推論されたxの型が数字であることを示すテキストエディタ。

明示的な型アノテーションは冗長性だ。書くとノイズが増えるだけだ。型がわからない場合は、エディターでチェックすればいい。

TypeScript は、より複雑なオブジェクトの型も推測する。代わりに

const person: {
  name: string;
  born: {
    where: string;
    when: string;
  };
  died: {
    where: string;
    when: string;
  }
} = {
  name: 'Sojourner Truth',
  born: {
    where: 'Swartekill, NY',
    when: 'c.1797',
  },
  died: {
    where: 'Battle Creek, MI',
    when: 'Nov. 26, 1883'
  }
};

と書けばいい：

const person = {
  name: 'Sojourner Truth',
  born ...