@CSP_Sept 这个东西太naive了，我要是想知道一个容器怎么用我不如去reference

你要是能讲一下这东西的实现勉强还行，但是红黑树已经被讲过了

@CSP_Sept 另外这篇文章是有错误和纰漏的

@function_of_zero 感谢dalao

@function_of_zero 能麻烦讲一下哪里错了吗？

@CSP_Sept

“平衡树是二叉搜索树和堆合并构成的新数据结构。”。并不是所有的平衡树都具有堆的性质。比如红黑树你哪里看出来他是bst和堆合并了。

红黑树的旋转这里这个定义我觉得很屑。

map 这里你几个函数的返回值什么根本就没有讲，还漏了一大堆用法。另外 insert 和直接赋值并不等价。

迭代器这里，你完全没弄懂迭代器和指针的关系好吧。

另外下面的题太水了点。

你写这篇博客有点像编程入门书或者 stl 的科普之类。但是日报并不需要这种连正确性性都无法保证的科普读物。

@function_of_zero 谢谢！

前排

@AFO_tony1107 作为一名函数式编程的爱好者看到自然数相关的博客很开心，自然数相关的证明在函数式编程的许多相关题目中出现过。但这篇博客对于相关定理的证明与计算机科学的联系讲得太少了；计算机科学中有被称为形式化证明的一支，就是通过编写程序来证明数学命题（我在我的博客中写过一篇介绍https://www.luogu.com.cn/blog/t532/formal-proofs-with-coq ），希望您能了解一下。

@dove 另外，在形式化证明中通常使用的定义自然数的方式是递归定义而不是使用带有大小限制的原始数据类型（比如unsigned long long），这点我在博客中也提到了。

后排呵呵