开发工具:
文件大小: 2mb
下载次数: 0
上传时间: 2021-01-31
详细说明：Ciao编程语言
是一种编程语言，它是基于基于逻辑的简单内核构建的，旨在进行扩展和模块化。 它支持：
约束逻辑编程（尤其是Prolog ）
不同级别的模块化（从小到大）
模块作为（便于分析的）编译单元
捆绑作为模块的集合
包作为实现语言扩展的模块（语法定义，编译选项，编译器插件）
断言（作为允许静态和动态验证以统一方式协同工作的同类框架）
多范例构造（元编程，高阶，可变，并发，函数等）并与外来代码接口
该存储库包含编译器和Ciao标准库。 与builder软件包一起使用，可以用作最小的Ciao安装。
其他高级功能（例如全局程序分析和转换，静态调试，，等）在中提供。
安装
请查阅说明或参考文件。
注意：此存储库从Ciao monorepo。
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
