Pythonはドキュメント上に引数や戻り値の型が無いがどうしている？

Question

pythonを始めようとドキュメントを読んでいるのですが、引数や戻り値の型がドキュメントに書いていない様に見えます。
他の動的な言語、例えばphp nodejsのドキュメントには必ず、引数や戻り値の型が決まったフォーマットで書かれているのですが、pythonではそれがありません。

いくら動的型付けとは言え特定のメソッドの戻り値はどのような型で、どのようなプロパティやメソッドが生えているのかを確認する事は必ずあると思うのですが、pythonを書かれている方はどのようにこの確認をしているのでしょうか。

nodejsの場合

phpの場合

pythonの場合。「ファイルオブジェクト」というのが型情報かな？と思っても

結局、sys.stdioに生えているメソッド、プロパティの一覧が分からない

Comments

[karamarimo]

file objectのとこに「インターフェースはioモジュールで定義されています」と書いてあるので、そこを見れば分かるのではないですか？

Answer 1

型を調べたり

>>> type(sys.stdin)
<class '_io.TextIOWrapper'>

属性を見たり

>>> dir(sys.stdin)
['_CHUNK_SIZE', '__class__', '__del__', '__delattr__', '__dict__', '__dir__', '__doc__', '__enter__', '__eq__', '__exit__', '__format__', '__ge__', '__getattribute__', '__getstate__', '__gt__', '__hash__', '__init__', '__init_subclass__', '__iter__', '__le__', '__lt__', '__ne__', '__new__', '__next__', '__reduce__', '__reduce_ex__', '__repr__', '__setattr__', '__sizeof__', '__str__', '__subclasshook__', '_checkClosed', '_checkReadable', '_checkSeekable', '_checkWritable', '_finalizing', 'buffer', 'close', 'closed', 'detach', 'encoding', 'errors', 'fileno', 'flush', 'isatty', 'line_buffering', 'mode', 'name', 'newlines', 'read', 'readable', 'readline', 'readlines', 'seek', 'seekable', 'tell', 'truncate', 'writable', 'write', 'writelines']

ヘルプを見たり

>>> help(sys.stdin)
長いので省略

ドキュメント見たり

>>> print(sys.stdin.__doc__)
長いので省略

アノテーション見たり
見られるとは限りませんが。

>>> def add(a: int, b: int) -> int:
...     return a + b
...
>>> add.__annotations__
{'a': <class 'int'>, 'b': <class 'int'>, 'return': <class 'int'>}
>>>
>>> print.__annotations__
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
AttributeError: 'builtin_function_or_method' object has no attribute '__annotations__'

対話環境で色々調べられるので便利です。
戻り値の型などはあまり意識しなくてもよい、柔軟な言語だと思っています。