主要观点：

• 作为 Go 开发者的作者因 Odin 语言的研究接触到 Typed Stack Traces（TST），发现其对软件架构的重要性，进而推广 F#。
• TST 像联合类型的列车返回枚举，能解决微服务带来的错误处理问题，如在 F#中通过组合类型和模式匹配实现。
• 需 TST 来架构软件，可像 UML 一样在代码中建模函数调用，避免初级开发者对产品的意外更改，分离架构师和工程师，更好地处理错误和用户消息。
• 提出 Can’t Driven Development（CDD）来架构函数调用，先定义领域，创建“Can’t”语句，将其转化为错误并拆分到函数中，遵循特定规则进行开发。
• 通过面试练习示例展示 CDD 在实践中的应用，先进行领域建模（DDD），再进行函数调用架构（CDD），最后进行逻辑架构（TDD）。

关键信息：

• Golang 开发者在微服务时代面临的问题及转向 TST 的原因。
• TST 的原理、实现方式及在 F#中的示例。
• CDD 的步骤和规则，以及如何应用于软件架构。
• 面试练习示例中利用 DDD、CDD 和 TDD 完成 REST-API 方法的过程。

重要细节：

• TST 需 Tagged Unions 或 Discriminated Unions 和 Enums，目前只有 Odin、F#、OCaml、Rust 和 Zig 具备。
• 示例中各种函数和错误类型的定义及实现，如 F1 到 F4 函数及对应的错误类型。
• CDD 的具体步骤，包括定义函数是否只做一件事、处理负面结果和资源限制等。
• 面试练习中对不同响应情况的处理及函数架构过程，如对人员分类和响应的函数设计。