Typical与代数数据类型的数据交换

Typical 是一个数据序列化框架。你在一个叫做 schema 的文件中定义数据类型，然后 Typical 为各种语言生成高效的序列化和反序列化代码。生成的代码可用于服务之间的消息编排，将结构化数据存储在磁盘上，等等。紧凑的二进制编码支持你的模式的不同版本之间的前向和后向兼容，以适应不断变化的需求。

Typical可以与Protocol Buffers和Apache Thrift相比。主要的区别是Typical有一个基于代数数据类型的更现代的类型系统，强调一种更安全的编程风格，具有不可置空的类型和详尽的模式匹配。如果你有接受这种风格的语言的经验，如Rust和Haskell，你会感到很熟悉。

对于如何在不破坏兼容性的情况下安全地添加或删除记录类型中的字段这一经典问题，Typical提供了一种新的解决方案（"asymmetric"fields）；此概念也解决了 dual problem，即在添加或删除和类型中的案例时如何保持兼容性。

Typical 提供了两个重要的功能：

• 不折不扣的类型安全
• 模式版本之间的二进制兼容性

Typical的设计参考了Google的Protocol Buffers和Airbnb的Apache Thrift的使用经验。