回答。

問題の歴史：

TypeScriptは既存のJSアプリケーションに静的型付けを追加するために設計されています。外部のモジュールや純粋なJavaScriptで書かれた自分のモジュールをインポートする際、どのように型付けを行うべきかという問題が生じます。この場合、TypeScriptはいわゆる宣言ファイル（.d.ts）を使用するか、自動的に型を推論します（時には誤って）。

問題点：

インポート時に適切な型の記述が見つからない場合、変数はany型となり、これは型安全性の完全な喪失を意味します。これはコンパイラが見逃すエラーやランタイムのバグを引き起こす可能性があります。多くの場合、開発者はインポートされた関数やオブジェクトの型を明示的に宣言することを忘れがちです。

解決策：

自分のJSモジュールについては、手動で型の宣言（.d.tsファイル）を書くことができます。
人気のあるライブラリについては、@types/パッケージがしばしば存在します。
インポート時に型を明示的に宣言し、必要なオブジェクトの構造を自分で記述することができます。
anyの使用は避けることを推奨します。避けられない場合は、使用範囲を最小限に制限するべきです。

コード例：

// 1. JSモジュールのインポートの明示的な型付け
import myFunc from './myLib';
declare function myFunc(x: number): boolean;

// 2. myLib.d.tsファイルがあり、export function myFunc(x: number): boolean;が定義されたJSモジュールのインポート
import { myFunc } from './myLib';

// 3. 型付けなしでモジュールをインポートし、明示的に型を記述
import * as legacy from './legacy';
const typedLegacy: { runTask: (name: string) => void } = legacy;

重要な特徴：

宣言がない場合、インポートされた値はデフォルトでany型を取得し、型安全性が損なわれます。
最良のアプローチは、外部モジュールまたは自分のライブラリに対して.d.tsファイルを作成することです。
必要に応じて、declareやインターフェースを通じて外部関数やモジュールをローカルで宣言することができます。

トリッキーな質問。

TypeScriptは、宣言がないインポートされたJSモジュールの型を自動的に推論できますか？

いいえ、ファイルがJavaScriptで書かれている場合、型の宣言がない限り、TypeScriptはanyを仮定し、型に関する情報を失います。 trivialなケースを除いて（export const x = 1;）。

JSモジュールに新しいフィールドが追加された場合、インポートされた型を「拡張」できますか？

宣言ファイル（.d.ts）を更新する場合のみ可能です。型が.d.tsに固定されている場合、TypeScriptはそれを「真実」として使用し、新しいフィールドは型付けされないか、エラーになります。

宣言や@types/なしで外部JSモジュールをTypeScriptプロジェクトにインポートするのは安全ですか？

いいえ、これは安全性を大幅に低下させます — インポート作業がuntyped（any）になり、コンパイラはエラーを出力せず、モジュールが利用できないか、APIが変更されてもエラーは発生しません。このようなモジュールの使用は、一時的な解決策としてのみ、明示的な型付けまたはコードの隔離と共に許可されます。

型エラーとアンチパターン

外部パッケージのための宣言ファイル（.d.ts）を忘れる
JSモジュールのインポート時にimplicit anyを盲目的に信頼する
type-safeコードの境界を侵害する

実際の例

ネガティブケース

開発者は宣言なしの外部JSライブラリをインポートし、APIを自信を持って使用しており、型はanyです。ライブラリが更新されるとメソッドのシグネチャが変更されますが、エラーは発生せず、ランタイムにバグが発生します。

利点：

どんなJSモジュールでも迅速かつ簡単に接続できる。

欠点：

型安全性の保証がなく、エラーは実行前には発見できません。

ポジティブケース

.d.ts宣言ファイルが作成されるか、@types/パッケージが追加され、APIの説明は元のJSモジュールに厳密に一致しています。すべてのインポートされたメソッドが型付けされており、IDEが自動補完を支援し、いかなる不一致もコンパイルエラーを示します。

利点：

型安全性、実行前にエラーを警告
コード内での自動補完とドキュメンテーションのサポート

欠点：

.d.tsファイルを書くための時間、JSモジュールの更新における型の維持が必要