Versioned:Haskell 数据类型的版本控制和迁移

版本化 不显眼地版本化您的 Haskell 数据类型以获得迁移。 实例t的的Versioned类型类具有相关联的Nat -indexed数据类型，被称为VersionHistory t ，它描述的所有修正t ，使得存在之间的双射n “的第版本t和类型的值VersionHistory tn 。 当较早的版本被较晚的版本淘汰时，较早的表示保留在程序中，由给定类型的VersionHistory编码，以便必须与较旧版本交互的程序（例如数据库接口程序）可以安全地这样做。 例子 这是一个 3-revision 数据类型及其VersionHistory 。 有关完整Versioned实例，请参阅examples/Review.hs 。 -- Our 0th version. Would be deleted in real code. -- data Review = Good | Bad --