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