主要观点：介绍了 Typestate Programming 以及 Rust 中的相关示例，通过 FooBuilder 和 Foo 的结构展示了如何利用类型来编码对象的状态，并说明 Rust 的强类型系统确保状态转换的正确性。
关键信息：

• Typestates 是将对象当前状态的信息编码到对象类型中。
• 示例中通过 FooBuilder 创建 Foo，包含不同状态和转换方法。
• Rust 的强类型系统使得创建 Foo 不能直接进行，必须通过特定方法，且该方法会消耗原结构。
  重要细节：
• FooBuilder 的 new 方法用于初始化，double_a 方法用于状态转换，into_foo 方法用于获取最终的 Foo 对象。
• 在示例中，创建 Foo 必须先创建 FooBuilder 并正确初始化，通过调用 into_foo 完成状态转换。
• 强类型系统保证了状态转换的安全性和正确性，避免了错误的状态操作。