tsconfig.jsonで厳格な型チェックを有効にするために設定する項目はどれですか？

`@types/`パッケージを通常`--save-dev`オプションでインストールする理由として最も適切なものはどれですか？

以下のコードで、他のモジュールから`User`型を使用するために必要な記述はどれですか？ ```typescript // types.ts interface User { id: number; name: string; } ```

TypeScriptの型定義ファイルの拡張子として正しいものはどれですか？