这是不是python中新的语法？

Question

代码如下图，请问foo这个函数定义时候的a:int是什么意思？我在看直播的时候，主播说是可以限制形参a的类型，然而现在看来并不是这样。怎么回事呢？谢谢！

Answer 1

https://docs.python.org/3/library/typing.html

Python 3.5.1 の新しい型ヒント構文。
制限することはできず、プロンプトを表示することのみ可能です。