在写 ts 的时候，借助类型推导，我们可以不用费劲的为每个变量、函数定义类型，但类型推导也不是万能的，有时候并不能准确的进行类型的控制，所以我们需要自己指定类型，所以 is 关键字显得尤为重要。