TypeScript

基本的な型システム「型アノテーション」「interface」「type」や、コードの共通化と型の安全性を両立するための言語機能である「ジェネリクス」などを使用した型定義ができます。