官方文档在此：https://docs.python.org/zh-cn/3.6/library/typing.html

1. 
   类型别名的作用就是可以定义自己想声明的类型。比如我把List[int]定义为vector_of_int，不过我觉得没啥用，又不能定义成vector

2.
newtype 把一个类型声明为另一个类型的子类

这个例子中，就不能传入int

3.
callback的注解方式

---

看这个就够了
https://cuiqingcai.com/7071.html