強く型付けされた言語と弱く型付けされた言語を扱うwiki ページhttp://en.wikipedia.org/wiki/Strong_and_weak_typingを含むいくつかのページを読みました。ほとんどの場合、違いは理解できると思います。ただし、2つを区別するポイントの答えをまっすぐにしたいと思います。
私の理解では、型付けが弱い言語では、データ型を明示的に呼び出す必要はありません。これは、タイプキャストせずに 4 と 2.3 を追加できる Matlab のような言語になります。厳密に型指定された言語では、プログラマは変数や値ごとにデータ型を宣言する必要があります。たとえば、C では、4 + (int) 2.3 または (float)4 + 2.3 のようなことをする必要があります (それが有効な C の型キャストかどうかは思い出せません)。
これらの概念に関する私の理解を拡大または修正する情報は、非常に高く評価されます。
Eric Lippert のブログをチェックしてください。あなたがここで探しているものについてのエントリがあります。
彼のブログを見る限り、これらの用語は主観的なものなので、「型システムの機能についてもっと正確に話してください」。
あなたが言ったように... ...弱く型付けされた言語では、データ型を明示的に呼び出す必要はありません。
厳密に型指定された言語では、プログラマは変数や値ごとにデータ型を宣言する必要があります。
正解です...
また、C# のようないわゆる「強く」型付けされた言語には、必要に応じて、またはプログラマーが希望する場合に型を宣言できる一種のパラダイムがあります。たとえば、C# には「var」型がありますが、強い型 (Int32、この言語を使用する多くのプログラマーが好む文字列、ブール値など)。
このようにして、言語は「強く」型付けされることも「弱く」型付けされることもできます。
これがこの概念の理解を深めるのに役立つことを願っています...