mamba::snake:Mamba编程语言,因为我们关心安全性

时间:2024-02-25 22:40:58
【文件属性】:

文件名称: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


网友评论