typical

典型: 使用代数数据类型进行数据交换 Typical 是一个 数据序列化 框架。您在名为 schema 的文件中定义数据类型,然后 Typical 会为各种语言生成高效的序列化和反序列化代码。生成的代码可用于在服务之间序列化消息,在磁盘上存储结构化数据等。紧凑的 二进制编码 支持不同版本的 schema 之间的前后兼容性,以适应不断变化的需求。

典型的可以与 Protocol Buffers 和 Apache Thrift 相比较。主要区别在于,典型采用基于 代数数据类型 的更现代的类型系统,强调使用不可为空类型和详尽的模式匹配的更安全的编程风格。如果您有使用这种风格的语言的经验,例如 Rust 和 Haskell,您会感到很熟悉。典型提出了一种新的解决方案( "不对称"字段) 来解决如何在 记录类型 中安全地添加或删除字段而不破坏兼容性的经典问题。不对称字段的概念还解决了在 总和类型 中添加或删除案例时如何保持兼容性的双重问题。

简而言之，Typical 提供了两项通常认为相互矛盾的重要功能：