巴贝尔-17 0.1_Babel-17 0.1下载地址

一种编码语言

通天-17是一种编程语言的语言写了正式的证明。它也是一个交互式定理证明基于巴贝尔-17语言。

获得通天-17，并亲自测试一下，看看什么可以做的！

下面是一些主要特点的“巴别塔-17”：

·动态类型
·单纯的神器出山:www.shenqi73.com功能性与严格的评估
·面向对象
·支持数据封装（这是未来的工作）
·例外
·模式匹配
·while和for循环
·内置支持任意精度的整数，列表，地图和套
·认可的unicode