ruby - 動的型付け、ダック型付け、パラメトリック ポリモーフィズムの違いは何ですか?

Question

動的型付け、ダック型付け、ポリモーフィズム、パラメトリック ポリモーフィズムの違いは何ですか?

私はより一般的に興味がありますが、Rubyにはこれらのそれぞれがあるので（ウィキペディアによると）尋ねます。

Answer 1

動的型付けとは、変数の型を定義する必要がないことを意味します。言語インタープリターは、その変数の型（数値、ブール値、文字列など）を推測しようとします。

ダックタイピングとは、オブジェクトのタイプに関心がないことを意味します。代わりに、オブジェクトの機能面に関心があります。オブジェクトが関心のあるメソッドを返す場合、これはオブジェクトが要件を満たしていることを意味します。したがって、よく知られているフレーズ：「アヒルのように歩き、アヒルのように泳ぎ、アヒルのように鳴く鳥であれば、その鳥はアヒルです」。

ウィキペディアから： パラメトリックポリモーフィズムは、完全な静的型安全性を維持しながら、言語をより表現力豊かにする方法です。パラメトリックポリモーフィズムを使用すると、関数またはデータ型を一般的に記述できるため、型に依存せずに値を同じように処理できます。