Syl 语言：用模态类型系统实现编译期依赖类型

开发者 ibobev 介绍正在开发中的编程语言 Syl，目标是在模态类型系统中编码编译期计算，实现编译期依赖类型和运行时简单类型。该语言受 András Kovács 的两级类型理论及 OxCaml 计划启发，编译器已在 GitHub 发布。 Syl 的类型系统含 staticity 与 erasure 两条模态轴，支持静态参数单态化。但作者称，由于语言允许一般递归和 type : type，构造某类型的表达式并不构成对应命题的证明。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。