主要观点：作者对 Datomic 有爱恨交织的关系，重点介绍了其“推测写入”和“回溯时间”等功能，以及这些功能的强大之处，但指出“as-of”和“推测写入”不能组合使用，虽有人尝试重新实现但未成功，最后作者提出通过创建空内存数据库并从生产数据库中复制部分实体来进行测试的方法。

关键信息：

• Datomic 是基于 Clojure 的数据库，基于不可变事实记录。
• “推测写入”可对不可变数据库值应用新事实并查询结果，借助 Datomock 可“分叉”数据库连接。
• “回溯时间”可通过as-of调用获取特定时间点的数据库状态并查询。
• “as-of”和“推测写入”不组合，尝试重新实现的方法也存在问题。
• 提出通过复制部分实体进行测试的方法，并已编写相关代码。

重要细节：

• 介绍了 Datomic 的一些功能及相关库，如 Datomock 和as-of。
• 给出了具体的代码示例，如创建数据库、事务操作、as-of和推测写入的使用等，并展示了失败的情况。
• 描述了测试方法的工作流程，包括创建空数据库、获取生产数据库、进行图遍历等。
• 提到已编写证明概念的代码并可转化为正式库。