软件名称：[B]巴贝尔-17 0.1_Babel-17 0.1[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：4.20 MB
官方主页：Home Page
更新时间：2013-03-09 12:27:00
软件简介:

一种编码语言

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

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

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

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

[url=http://www.sot9.com/soft/110934.html][B]巴贝尔-17 0.1_Babel-17 0.1[/B][/url]

点这里下载->巴贝尔-17 0.1_Babel-17 0.1 [ 下载地址 ]