本文介绍了TypeScript中函数注解的基本方法，包括可选参数、回调函数和泛型函数的注解。通过示例说明如何正确注解函数及其参数类型，强调使用接口和泛型约束的重要性，以提高代码的类型安全性，减少错误。这些概念有助于构建更智能的类型系统，尤其在开发库或框架时。