TypeScript 入門コース / レッスン 2

インターフェースとジェネリクス

interface でオブジェクトの形を決める

interface はオブジェクトが持つべきプロパティと型の契約書です。形が合わないオブジェクトはコンパイル時に弾かれます。

ジェネリクスは「型の変数」

first<T> の T は呼び出し時に決まる型の変数。Course の配列なら Course が、数値の配列なら number が返る、と型情報が失われずに伝わります。Array.map や Promise<T> など、普段使う API の多くがこの仕組みでできています。