类型与验证

Typescript 提供了一个静态类型系统，它可以帮助你在开发过程中避免错误，并提供其他功能（例如 IDE 支持），以帮助你提高生产力。

需要注意的是，TypeScript 只能在开发过程中帮助你避免错误。我们不能依赖它来验证客户端的输入。Zod 是一个强大的验证库，它允许我们使用其类型安全的实现来验证：表单输入、本地存储、API 合约等。