这几天看了 Rust 文档，把一些概念整理一下。

  • 通过 cargo 新建一个项目，然后去管理其生命流程，这种现代做法很方便。
  • 对于 statement 和 expression 的使用方式和 scheme 有些类似，可以返回最后一个 expression 的值。
  • 可能返回错误的地方使用 Result 类型，很类似 Haskell 的处理流程。
  • 模式匹配的方式很像 Ocaml 。
  • ownership 机制很新颖，限制能够带来巨大的力量。让我想到了《全职猎人》中对某项能力增加限制条件可以增加这个能力的威力的设定。
  • Option 类型就是 Haskell 的 Maybe 。
  • generics 的设计不知道有没有参考 C++ 的 template 概念。

目前只看到文档的第 11 章，Rust 语言的很多概念都能够在其他语言找到对应，只有 ownership 机制是我第一次见到，觉得新颖有趣。