python3.5的一个新功能是类型提示.例如,以下代码现在有效:
def greeting(name: str) -> str:
return 'Hello ' + name
但是,正如我所理解的那样,它不会自行检查任何内容,并且解释方式与此完全相同:
def greeting(name):
return 'Hello ' + name
并且主要用于帮助静态分析器(并使代码更容易理解).但是当将无效类型的参数传递给具有带注释的参数类型的函数时,是否存在(或计划在将来实施)以任何方式(可能通过使用某些第三方库)来发出python throw错误(仅使用类型提示语法)？