# fib.py
from typing import Iterator


def fib(n: int) -> Iterator[int]:
  a, b = 0, 1
  while a < n:
    yield a
    a, b = b, a + b

i = fib(3.2)
print(next(i))
print(next(i))

"fib" has incompatible type "float"; expected "int"

"htmlcode">

def foo(strings, string_list, count, total):


这个函数的参数我们从字面可以看出来分别是str，元素为str的list类型和两个整数参数。我们假定一个返回值为((int, int), str)，那么这个类型检查可以这样定义：


from typing import List, Tuple

Result = Tuple[Tuple[int, int], str]

def foo(strings: str, lines: List[str], line_number: int, total_lines: int) -> Result:


其它的一些类型提示、协程等等的支持都可以在官方的typing模块文档中进行查看。
关于生产的一些闲扯


我们现在也在进行一些mypy工具在生产环境中的具体使用测试，但是我们也发现了一些存在的问题，比如Python本身的动态语言特性给类型标注就带来了一些麻烦。另外，变量复用导致的类型变换有可能会提示采用新的变量实现。这对于一个已经存在的线上项目来说相对成本较高，我们后续也会在一些新项目中采用这种方式。另外mypy还是一个比较新的项目，本身是拥有一些bug。另外一个是在某些mypy的非类型错误提示其实非常的模糊，导致很多错误有时需要进行人工排查。
不管怎样，即便在mypy存在一些缺陷，但是仍旧是未来非常有潜力的工具，提前了解和应用也能有效的提升程序的强壮性。以上就是利用Type Hint提升Python程序开发效率的全部内容，希望本文对大家使用python有所帮助。