确实，我最近得空也在看 Rust 。有好的设计，也有让我很难受的地方，具体的有
1. 可以通过不写分号来返回表达式的值，这可太隐晦了，可读性直接拉到底。
2. lifetime 各种意义上的反人类，特别是那个语法，最烦的就是这种依附于特殊字符的语法了，代码堆到最后，那是人看的？
比如下面这个函数声明
fn longer<'a>(s1: &'a str, s2: &'a str) -> &'a str {
直接把我劝退，这还是没加泛型呢。。。
3. 没有三元运算符，本来还没什么，搜了一下把我看乐了，反对的原因多是，可读性差，有 if else 一种写法就够了，写这些的人怎么不看看那恶心的无分号返回值呢。

这语言我是不喜欢，但是它的设计思路很有意义，把内存管理，变量生命期等痛点从运行时提前到编译时，但是带来的限制就是写起来束手束脚，并且额外的信息量得由程序员给出，这可太痛苦了。

我比较倾向于 dependent type,让语言和编译器本身支持更高级的类型识别，从而真正解放程序员。