文件名称:
Idris2：具有一流类型的纯函数式编程语言-源码
开发工具:
文件大小: 6mb
下载次数: 0
上传时间: 2021-02-17
详细说明：伊德里斯2
是具有一流类型的纯函数式编程语言。
有关完整的安装说明，请参阅 。 简而言之，如果您安装了Chez Scheme，且其可执行文件名为chez ，则键入：
make bootstrap SCHEME=chez
make install
您可能需要将chez更改为Chez Scheme的本地名称。 这通常是scheme ， chezscheme或chezscheme9.5 （取决于版本）。 在现代台式机上，此过程（包括测试）应少于5分钟。
Idris 2主要与Idris 1向后兼容，但有一些次要例外。 用户最明显的区别是，可能导致Idris 1程序无法进行类型检查的是：
未绑定的隐式参数始终会被擦除，因此尝试在其中进行模式匹配是一种类型错误。
歧义名称的简化解析，这可能意味着您需要更频繁地明确消除歧义。 通常，Idris 2将能够区分具有不同具体返回类型（例如数据构
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
