安全第一！ 曼巴舞 这是Mamba编程语言。 该文档可以在找到。 本文档概述了不同的语言功能，还包含该语言的正式规范。 简而言之，Mamba与Python类似，但具有一些关键功能： 严格的静态输入规则，但具有类型推断功能，因此不会造成太多干扰 类型细化功能 空安全 显式错误处理 可变性与不变性之间的区别 纯函数，或没有副作用的函数 这是一个用编写的编译器，它将Mamba源文件转换为Python源文件。 因此，Mamba代码应可与Python代码互操作。 可以在Mamba中调用用Python