共情 empathy是用于类型化路径操作的现代库。 它利用了新的GHC功能(如DataKinds ,Backpack和自定义类型错误),以最大程度地减少库占用空间,同时最大程度地提高类型安全性。 有什么好玩的? 平台详细信息通过背包抽象出来。 每个这样的细节都在签名文件中说明。 路径文字是使用类型级别的Symbol而不是值级别的String构造的。 (如果尝试使用String文字作为路径,则会收到自定义类型错误)。 这将使我们能够进行编译时解析,以增强路径的格式。 也就是说,要求字符串"/usr/bin/"代表除绝对目录之外的任何内容都将是编译时错误。 有关给定路径的相对/绝对或文件/目录性质的信息存储在类型级别而不是值级别。 它附带电池(适用于optparse-applicative解析器, Hashable和NFData实例等)。 为什么不使用[一种替代的类型路径库]? 我