设计一种新的系统编程语言

快乐天天

感觉这样限制会比rust更严格，可能很多东西没法写。如果用这么简单的指针生存期模型就能做到内存安全，那应该早就有人做出来了。

你的坚持

像是void foo(A* a, int* b) { a.b = b; } 这样的函数很多情况下其实是安全的。但是目前只能一刀切的禁止了。如果要标记每个变量的生命期，会增加复杂度。例如我想过这样的语法：void foo(A* a, int* b) lifetime(a <= b) { a.b = b;} 表示a的生命期比b短。

渐渐老去

在rust的模型中，生存期还与型变有关，禁止生存期的协变逆变会让大多数场景没法编译，太难了