pikelet:一种具有一流类型的友好的小型系统语言。 非常WIP! :construction: 源码

ike! Pikelet是一种小型的,功能性的,依赖类型的编程语言。 依赖类型使我们可以做很多非常有趣的事情,例如使用模块记录,在类型级别上声明数组的长度等等—许多功能对于底层代码和高层代码都是非常有用的! 我们希望有一天,Pikelet能够发展成为成熟的系统编程语言,并支持未装箱的数据类型,对内存布局和分配策略的控制,线性类型以及灵活的相位区分以及对调用其他语言的支持。 但是,目前我们仅实现了类型检查器和非常慢的解释器,因此不要让您的希望太高! 在对任何人都没有用之前,还有很多事情要做! :grinning_face_with_sweat: 路线图 在查看我们的计划。 行为守则 请注