如何详细掌握Zod在TypeScript中的类型验证应用?