Microsoft、プログラミング言語「TypeScript 4.0」を公開：表現性、生産性、スケーラビリティが向上

　操作対象の実際の型が分からなくても、タプルと配列の高次操作を表現できるようになった。

　また、次のように、残りの要素をタプルの最後だけでなく、タプル内のどこにでも発生させることが可能になった。

type Strings = [string, string];
type Numbers = [number, number];
// [string, string, number, number, boolean]
type StrStrNumNumBool = [...Strings, ...Numbers, boolean];

ラベル付きタプル要素

　タプル型がラベルを提供できるようになった。

type Range = [start: number, end: number];

　パラメーターリストとタプル型のつながりを深めるため、残りの要素およびオプション要素の構文は、パラメーターリストの構文を反映したものになる。

type Foo = [first: number, second?: string, ...rest: any[]];

　ラベル付きタプルは、タプルと引数リストのパターンを利用するとともに、型安全な方法でオーバーロードを実装するときに便利だ。

コンストラクタからのクラスプロパティの推論

　「noImplicitAny」が有効な場合に、制御フロー分析によってクラスのプロパティの型を決定できるようになった。

class Square {
    // Previously: implicit any!
    // Now: inferred to `number`!
    area;
    sideLength;
    constructor(sideLength: number) {
        this.sideLength = sideLength;
        this.area = sideLength ** 2;
    }
}

代入演算子「&&=」「||=」「??=」

　新たにECMAScriptの3つの代入演算子「&&=」「||=」「??=」をサポートした。

　これらの代入演算子は、次のようなコードを書くときに代わりに使える。

a = a && b;
a = a || b;
a = a ?? b;

　また、次のようなifブロックを書くときにも使える。

// could be 'a ||= b'
if (!a) {
    a = b;
}

catch句の変数の型としてunknownを指定可能

　catch句の変数の型として、「any」の代わりに「unknown」を指定できるようになった。unknownはanyよりも安全だ。値を操作する前に、何らかの型チェックを行う必要があることを思い出させるからだ。

try {
    // ...
}
catch (e: unknown) {
    // error!
    // Property 'toUpperCase' does not exist on type 'unknown'.
    console.log(e.toUpperCase());
    if (typeof e === "string") {
        // works!
        // We've narrowed 'e' down to the type 'string'.
        console.log(e.toUpperCase());
    }
}

カスタムJSXファクトリ

　新しい「jsxFragmentFactory」オプションを使ってフラグメントファクトリをカスタマイズできるようになった。

　例えば、次の「tsconfig.json」ファイルはTypeScriptに、Reactと互換性を持つようにJSXを変換するよう指示しているが、各ファクトリ呼び出しを「React.createElement」ではなく「h」に切り替え、「React.Fragment」の代わりに「Fragment」を使用する。

{
  "compilerOptions": {
    "target": "esnext",
    "module": "commonjs",
    "jsx": "react",
    "jsxFactory": "h",
    "jsxFragmentFactory": "Fragment"
  }
}

「--noEmitOnError」使用時における「build」モードのスピード向上

　これまでは、「--noEmitOnError」フラグを使う場合、コンパイルエラーになった後でプログラムを「--incremental」でコンパイルすると、極めて低速になっていた。前回のコンパイルの情報が、「--noEmitOnError」フラグに基づいて「.tsbuildinfo」ファイルにキャッシュされていなかったからだ。

　TypeScript 4.0では、このシナリオで大幅にスピードが向上し、「--build」モードシナリオ（--incrementalと--noEmitOnErrorの両方を含む）も改善された。

「--incremental」コンパイル時の「--noEmit」フラグの使用

　--incrementalコンパイル時に「--noEmit」フラグを使用できるようになった。これは従来、不可能だった。--incrementalが.tsbuildinfoファイルを出力する必要があるからだ。だが、高速な差分ビルドを実現するユースケースが重要なことから、全てのユーザー向けにこうしたフラグ使用が可能になった。

オプショナルチェイニングへの変換

　オプショナルチェイニングやnullish coalescingを利用できるように一般的なパターンを変換する、新しいリファクタリングが可能になった。

（クリックで再生　出典：Microsoft）

/** @deprecated */のサポート

　TypeScriptのエディタ支援機能は、宣言が「/** @deprecated */」というJSDocコメントでマークされていると、認識するようになった。VS Codeのようなエディタでは通常、非推奨となった値がこのように取り消し線で表示される。

（出典：Microsoft）

起動時の部分的なセマンティックモード

　大規模プロジェクトなどで起動に時間がかかるというユーザーの声が多かったことを受け、部分的なセマンティックモードが導入された。このモードを選択すると、起動してから数秒で編集中のファイルが扱えるようになり、プロジェクト全体はバックグラウンドでロードされる。

　今のところ、このモードはVS CodeのInsiders版でのみサポートされている。

スマートな自動インポート

　エディタ支援機能において、ユーザーが「package.json」の「dependencies」（と「peerDependencies」）フィールドに指定したパッケージの情報が、自動インポート機能の向上のために使われるようになった。これにより、高いコストがかかる「node_modules」パッケージの完全な探索を行うことなく、型を持つ依存関係を全て自動インポートすることが可能になった。

新しいWebサイト

　TypeScript Webサイトが最近刷新されたことも紹介された。