Sorted:

変数の定義 型注釈・型推論 配列・タプル（array-tuple） 関数の定義 インターフェースの定義 型エイリアス（type定義） 交差型 インターフェース vs 型エイリアス