弱い型付けの言語がまだ活発に開発されているのはなぜですか？

なぜ型の弱い言語がまだ活発に開発されているのだろうか。たとえば、書くことができることからどのようなメリットが得られますか

$someVar = 1;
(...)  // Some piece of code
$someVar = 'SomeText';

大きく異なる、型指定されたバージョンを使用する代わりに

int someInt = 1;
(...)
string SomeString = 'SomeText';

2番目の例で追加変数を宣言する必要があるのは事実ですが、それは本当に痛いのでしょうか？コンパイル時に型の安全性を強制し、型キャストの落とし穴を回避するため、すべての言語が厳密に型指定されるように努めるべきではありませんか？

強い/弱いタイピングと静的/動的なタイピングは直交しています。

強い/弱いとは、機能的に言​​えば、値のタイプが重要かどうかです。弱い型付けの言語では、たまたま数字で埋められた2つの文字列を取得し、整数の加算を実行できます。厳密に型指定された言語では、これはエラーです（最初に値を正しい型にキャストまたは変換しない限り）。強い/弱いタイピングは白黒のものではありません。ほとんどの言語は100％厳密でも100％脆弱でもありません。

静的/動的型付けは、型が値にバインドするか識別子にバインドするかに関するものです。動的に型指定された言語では、型に関係なく、任意の変数に任意の値を割り当てることができます。静的型付けはすべての識別子の型を定義し、異なる型からの割り当てはエラーであるか、暗黙的なキャストになります。一部の言語は、静的に宣言された型と型なし識別子（「バリアント」）を可能にするハイブリッドアプローチを採用しています。型推論もあります。これは、すべての型を明示的に宣言せずに静的型付けを可能にするメカニズムです。コンパイラに型を認識させることにより、Haskellはこれを広範囲に使用しvarます。

弱い動的プログラミングでは、実用的なアプローチが可能です。ほとんどの場合、言語はあなたの邪魔になりませんが、自分自身を足で撃っているときにも介入しません。対照的に、強力な静的型付けは、コンパイラーまたはインタープリターがエラーのクラスを検出できるように、コード内の値に関する特定の期待をプログラマーに明示的に表現させます。優れたタイプシステムを使用すると、プログラマーは値に対して実行できることとできないことを正確に定義できます。偶然に誰かが望ましくない何かを試みた場合、タイプシステムはそれを防止し、どこで何が間違っているのかを正確に示すことができます。

弱いタイピングは、に沿ったものです1 == "TRUE"。ウィキペディアのこのセクションは、違いをうまく示しています。

ウィキペディアのどちらの例も静的に入力されていないことに注意してください。これは2番目の例で参照するものです。

そのため、なぜ人々が動的に型付けされた言語を使用するのかという質問なら、答えは次のとおりです。静的型システムはあなたに制限を課します。多くの人は、表現力豊かな静的型システムを使用したことがないため、静的型付けの欠点が利点を上回るという結論に至ります。

弱い型の言語は、人々がそれらを使用し、好むため、まだ開発中です。弱い型付けが気に入らない場合は、弱い型付けの言語を使用しないでください。何かが唯一の真の道であり、誰もがそれを行うべきであると宣言することは、世界の複雑さを無視します。

コンパイル時に型の安全性を強制し、型キャストの落とし穴を回避するため、すべての言語が厳密に型指定されるように努めるべきではありませんか？

必ずしも。Objective-Cの学習：入門書は、Objective-Cのコンテキストでその質問に直接対処します。

弱い型付けの変数は、コレクションクラスなど、コレクション内のオブジェクトの正確なタイプが不明な場合に頻繁に使用されます。強く型付けされた言語の使用に慣れている場合、弱く型付けされた変数を使用すると問題が発生すると考えるかもしれませんが、実際には非常に柔軟であり、Objective-Cプログラムでより大きなダイナミズムを可能にします。