如何解决将大数据结构写入文件的最有效方法
假设您有一个代数数据类型,并且您使用的是庞大的数据结构,那么编写这样的写入函数是否会更有效:
val writer: out_channel -> mygadttype -> unit
递归访问代数数据类型并写入每个节点,或类似:
val print: Format.formatter -> mygadttype -> unit
然后使用 Format.asprintf
写入字符串,然后将该字符串写入文件。
我没有估计数据结构有多大,但在性能方面(和内存方面?),哪个更有效?目标是让结果是人类可读的,所以没有编组
解决方法
您可以使用 Format
直接打印到带有 Format.formatter_of_out_channel
的文件。如果没有更多信息或基准测试,Format
的开销是否重要尚不清楚。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。