python関数定義、見たことないやり方、名前はなんて言うのですか？

Question

from typing import Tuple
def func(string: str) -> Tuple[str, int]:

"-> Tuple[str, int]"って何ですか？

返り値は、Tuple型で、中身が[str, int]の形ですよーって言うのを明示しているだけで、理論上返り値が別の物でも構わない（エラーが起きない）、と言う理解はあってますか？

Comments

[coco_bauer]

「理論上返り値が別の物でも構わない」というのは誤りです。
返り値は、指定された型(質問の例では、Tuple型で、中身が[str, int]の型）でなければなりません。

[hayataka2049]

@coco_bauerさん
エラーになるかどうかという観点で見れば型ヒントへの違反はエラーにならないので質問者さんの表現でも誤りではないと思いますが。

Answer 1

割と最近（と言っても5年くらい前から提案されているのか）言語仕様に入った型ヒントですね。

これによって静的型付けっぽく書くことが可能になります。型を強制することはできませんが（つまり違反してもエラーにはなりませんが）、外部のツール等で解析しておかしかったり危なかったりする部分がないか調べるといった使い方が可能になります。

typing --- 型ヒントのサポート — Python 3.8.3rc1 ドキュメント

Answer 2

こちらを参考に

Answer 3

型の注釈という認識で合ってます。
このあたりが参考になるかと。
Pythonではじまる、型のある世界