文件名称:
pikelet:一种具有一流类型的友好的小型系统语言。 非常WIP! :construction:-源码
开发工具:
文件大小: 189kb
下载次数: 0
上传时间: 2021-02-05
详细说明:ike!
Pikelet是一种小型的,功能性的,依赖类型的编程语言。
依赖类型使我们可以做很多非常有趣的事情,例如使用模块记录,在类型级别上声明数组的长度等等—许多功能对于底层代码和高层代码都是非常有用的!
我们希望有一天,Pikelet能够发展成为成熟的系统编程语言,并支持未装箱的数据类型,对内存布局和分配策略的控制,线性类型以及灵活的相位区分以及对调用其他语言的支持。 但是,目前我们仅实现了类型检查器和非常慢的解释器,因此不要让您的希望太高! 在对任何人都没有用之前,还有很多事情要做! :grinning_face_with_sweat:
路线图
在查看我们的计划。
行为守则
请注
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台,提供交流渠道,下载内容来自于网络,除下载问题外,其它问题请自行百度。
- 本站已设置防盗链,请勿用迅雷、QQ旋风等多线程下载软件下载资源,下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载,请稍后再次尝试;或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎,请到消费记录里找到下载记录反馈给我们,经确认后退回积分.
- 如下载前有疑问,可以通过点击"提供者"的名字,查看对方的联系方式,联系对方咨询.