HList包基于现在古老的Haskell 技术。一个简单的问题是：考虑到过去 8 年 Haskell/GHC 开发的所有精彩新特性，“现代”HList 的构建方式会非常不同吗？我意识到这里的答案很可能是否定的，对于 HList 的特定情况，当时使用的技术仍然会产生最优雅的解决方案。
我已经阅读了可扩展记录页面上记录的许多项目，唯一真正的竞争对手（即作为 hackage 上可用的库实现的一个）是记录包。还是可扩展记录中缺少链接？
问问题
1983 次
1 回答
11
这些软件包中的任何一个的问题是其目标的范围。HList 实际上是 5 种不同的标签实现，两种类型相等，两种类型转换，两种 Record/RecordP，以及 Variant vs TIC 选择。所有这些都相似，但在易用性、可移植性和使用的扩展方面有所不同。
较新的 GHC 功能（GADT、关联类型、约束类型、多态类型、单例类型）可能允许稍有不同的权衡取舍。特别是单例类型可能允许更好的标签，而多态类型可能允许更优雅的 Typeable/Data/Generics 。
您链接到的“记录”包取决于声称的“种类”包：
“Haskell 不支持子类和子类多态性。但是，这个包可以用来模拟子类 * 和子类变量。”
但由于在新的 GHC 版本中将数据类型提升为种类，这不再适用。所以这个 2012 年 1 月的软件包现在可能已经过时了。
于 2012-08-22T20:22:07.537 回答