【文件属性】：
文件名称：mamba：:snake:Mamba编程语言，因为我们关心安全性
文件大小：321KB
文件格式：ZIP
更新时间：2024-02-25 22:40:58
python language rust typechecker compiler
安全第一！
曼巴舞
这是Mamba编程语言。 该文档可以在找到。 本文档概述了不同的语言功能，还包含该语言的正式规范。
简而言之，Mamba与Python类似，但具有一些关键功能：
严格的静态输入规则，但具有类型推断功能，因此不会造成太多干扰
类型细化功能
空安全
显式错误处理
可变性与不变性之间的区别
纯函数，或没有副作用的函数
这是一个用编写的编译器，它将Mamba源文件转换为Python源文件。 因此，Mamba代码应可与Python代码互操作。 可以在Mamba中调用用Python编写的函数，反之亦然（从生成的Python文件中）。
:keyboard: 程式码范例
下面的代码示例展示了Mam