動的型指定言語で関数の引数を記述する方法は？

Question

私の質問はPythonに向けられていますが、JavaScriptやその他のスクリプト言語に関するものでもあります。

私は通常、静的型付けされた言語（Java、C++、ActionScriptなど）で開発しています。

私は時々Pythonを使うのが好きで、JavaScriptを使う必要があることもあります。これらは動的型付き言語です。それには何も問題はありませんが、私は通常、関数やメソッドにどのパラメータが必要であるかを理解するために頭痛があります。たとえそれが私自身のコードであってもdocstringを使っていても起こります！多分、目は機能の定義以外の場所を見なければならないからです。

もちろん答えはドキュメントに記載されています。しかし、時にはそれはまったく明らかではないか、またはダックの入力のために文書化自体が難しいかもしれない（ "最初のパラメータは、quack（）メソッドとfeathers（arg）メソッドを持たなければならない関数です。 argは文字列 "です）。私が非常に好きなのは、たとえActionScriptのようなオプションであっても、言語そのものの中で一種の議論記述です。

関数/メソッドの引数を曖昧さなく記述するためのベストプラクティスは何ですか？

特別なデコレータ（Pythonを使用している場合）を作成する目的は、使用時にデータのタイプをチェックすることです（しかし、実行時ではなく書き込み時に使用されるため、 ）？

あなたはそれが問題ではないと思いますか？現在のdocstring以上のことは、開発者を混乱させるか、私の心はスタティック型すぎるのか？

Answer 1

私はJavascriptを知りませんが、Pythonは次のようになり、バージョン3、以降のオプションfunction annotationsがあります

def haul(item: Haulable, *vargs: PackAnimal) -> Distance: 

か：

def compile(source: "something compilable", 
      filename: "where the compilable thing comes from", 
      mode: "is this a single statement or a suite?"): 

詳細についてはthe PEPを参照してください。

実行時にアクセスでき、type checkingでも使用できます。

Answer 2

なぜダックタイピングがドキュメントを書きにくくするのですか？

関数を書くときは、引数が特定の型のものであると仮定して書くか、特定のインタフェースに確認する...だから、それだけを書いてください。たとえば、あなたがswim_in_pond(duck)メソッドを持っている場合は、「duckはquack()、swim()、およびdive()メソッドを持つことが期待されている」文書化する必要はありません

を - ほとんどの場合、それは、duckがDuckのインスタンスである」と言って完全に十分です"

class DuckBase(object): 
    def quack(self): 
     """ Makes the duck quack. """ 

    def swim(self): 
     """ Swims around. 
      Assumes the duck is already in water. 
      Updates the duck's position. """ 

    def dive(self): 
     """ Dives either as deep as possible (either until the duck runs out of 
      air, or it hits the bottom of the pond). """