读取/写入文件的“正确类型”路径

Question

在应用程序中使用包

path

来写入和读取包含文件路径数据的记录的“类型正确的路径”。我错过了一个将记录中键入的文件路径信息写入文件并从文件中读取的函数。

将

Path a b

类型转换为带有

toFilePath

的字符串进行写入和读取，需要分别进行转换和管理类型信息（

Rel

与

Abs

、

File

与

Dir

），这很容易出错。

我尝试了

typeable

但无法找到解决方案，该解决方案允许我在记录中包含键入的

Path a b

并在文件中读取和写入该记录。有哪些可能的解决方案？

Answer 1

支持类型安全序列化的库有很多种，效率不同，需要手动干预：