求教：F# Map类型底层平衡搜索树采用何种实现算法？

F# 的 Map 类型底层实现沿用了 OCaml 标准库 Map 模块的算法，它是AVL树的变种——允许左右子树的高度差（平衡因子）最大为2，而非标准AVL树的1。

从代码细节能直接验证这一点：

• F# 源码里定义了 let tolerance = 2，只有当子树高度差超过这个阈值时，才会触发平衡调整逻辑
• OCaml 的 Map 实现也采用了高度差超过2才调整的逻辑，这是两者同源实现的直接体现

这种设计是在平衡树的查询效率与修改操作开销之间的权衡：相比标准AVL树，它减少了旋转操作的触发频率，同时依然能保证树的高度为O(log n)，维持了高效的查询性能。

内容的提问来源于stack exchange，提问作者nodakai