我明白了一些事情

我明白了一些事情。

很多人之前听不进我说 Haskell，Ocaml 等语言的缺点，迷信这类语言。他们从来没有实现过编程语言，也没实现过类型系统，所以他们看到所谓的“类型推导”，就开始迷信。他们认为这是高大上的，神才能做出来的东西。

现在因为同样的原因，他们迷信 Rust 语言。因为 Rust 设计了一个类型系统，可以检查 smart pointer 的使用是正确的。Rust 的所谓「所有权」和「Rc」，跟 C++ 的 smart pointer（unique_ptr, shared_ptr) 本质是完全一样的，只不过加了一个类型系统来检查它们的使用而已。我也实现过这样的类型系统，而且不到一天就写出来了。真的没什么大不了的。

我实现过不计其数的编程语言特性，各种各样的类型系统（有些是人们从未见过的），所以我…