共情 empathy是用于类型化路径操作的现代库。 它利用了新的GHC功能（如DataKinds ，Backpack和自定义类型错误），以最大程度地减少库占用空间，同时最大程度地提高类型安全性。 有什么好玩的？ 平台详细信息通过背包抽象出来。 每个这样的细节都在签名文件中说明。 路径文字是使用类型级别的Symbol而不是值级别的String构造的。 （如果尝试使用String文字作为路径，则会收到自定义类型错误）。 这将使我们能够进行编译时解析，以增强路径的格式。 也就是说，要求字符串"/