語言設計中的鴨子類型風格

      在動态語言的世界裡一直流傳着一種叫做鴨子類型的風格，其來自諺語：“如果行鴨子一樣走路，像鴨子一樣呱呱叫，那它就是一隻鴨子”。

     從鴨子類型，我們可以聯想到它的推導，并不在乎類型的真正實體，隻要他的行為有鴨子的特性，那麼我們就可以把它當做一隻鴨子來看到。在動态語言設計中，可以解釋為無論一個對象是什麼類型的，隻要它具有某類型的行為（方法），則它就是這一類型的執行個體，而不在于它是否顯示的實作或者繼承。

     鴨子類型在動态語言中被廣為奉行。某類接口需要一個log接口，換句話說這借口中需要調用傳入對象的log，方法，在動态語言中無論你傳入的是什麼對象，隻有具有log方法則就是合法的。而java，c#這類靜态強類型語言（目前首先聲明c#已經不是純的靜态強類型語言，它具有dynamic，表達式，當然這裡所說的c#是去掉這類特性，或者說c#2.0吧）我們傳入的對象是必須顯示實作該接口的類執行個體，他們直接必須具有顯示的繼承鍊。

     以上所說的是兩類語言設計中的對抽象的制約的差別。

    javascript中鴨子型的實作：

代碼量很少，這裡隻是一種簡單的約定，而不是強制，使得我們的自控感增強，是以我喜歡javascript這門語言給我的自由度。但是相對于java這類靜态強類型語言而言是将文法的檢查推向了運作時期，延遲了發現問題的時間，不助于我們的調試。在強類型系統的語言中由于具有完備的類型資訊，我們可以提高良好的ide于開發時限制，有助于我們的大規模開發。是以這裡沒有對錯，隻是看你的選擇和喜愛。如果你是一個優秀的程式員，動态語言這種檢查的推遲對你并無什麼問題，因為你能夠有條理次序的節奏型開發。

     關于鴨子型風格這裡還得必須提到go語言，也是go語言帶來我對這種風格的思考。

我們還可以顯示的定義在消費者方法中，形如 

實作提供者：

在類型s就是一個實作了logger的執行個體。

go還有一種叫做空接口，能夠容納萬物的東西;

   go語言不同于其他鴨子類型語言的是它實作了在編譯時期檢查，同時也不失這種自由度。

    另外typescript想必你也知道 ，這與google的dart一樣緻力于将javascript帶入大規模開發的語言，不同的是typescript是javascript的超集，并不是重造一門新語言。他為javascript引入的接口，類型，泛型等較完備的類型系統，是的能夠有更好的ide支援，從某種程度上來說，這是對鴨子類型或者javascript編譯器的檢查推遲的彌補。