Core_kernel.Heap和Core_kernel.FHeap有什么区别？

Question

简街的Core_kernel库有两个基于配对堆的堆实现

模块Core_kernel.Heap 基于对堆的堆实现。

(文档)

模块Core_kernel.Fheap 功能堆(作为配对堆实现)。

(文档)

从描述上看，我不清楚他们之间有什么区别。我什么时候才能使用其中一种？

Answer 1

区别在于您的第二个引语中的"Functional“一词：Heap是一个命令式实现，它也可以通过例如add函数的签名来看出：

val add : 'a t ‑> 'a ‑> Core_kernel__.Import.unit

它返回unit，并修改现有堆。

另一方面，FHeap是功能性的，这意味着添加之类的操作将创建新对象，而原始对象保持原样:在本例中，add的签名是

val add : 'a t ‑> 'a ‑> 'a t