至少以目前的实践来看，追求绝对的安全性往往会限制其实际使用，典型例子是各种学院派的函数式语言。 一门以安全性为主打要素的语言，必然要做一定的妥协，否则无法投入实用（至少以目前的实践来看是这样的）。 相关基本概念可以看这个标题党视频：https://www.youtube.com/watch?v=iSmkqocn0oQ&list=PLTn-AmwI-EHBs0tkn0Q-Kz8q5ZnIWgdgQ

一门语言想要实用化，必然要与现实世界产生交互；而现实是并不安全的，故在可想象范围内，所有的safe都需要构建在unsafe的基础上。 即便如此已经很有意义了，毕竟可以高风险的操作需要显式声明，避免误操作了。

不得不用的时候再用