安全

    • 没有空值
    • 没有未定义的值
    • 没有未定义的行为
    • 没有变量屏蔽
    • Option/Result类型
    • 泛型（WIP）
    • 默认变量不可变
    • 模式结构体不可变