塞伊龙进展报告

发布者:    |       塞伊龙

嗯,我发现自我从半偶然地宣布了塞伊龙项目以来,已经有三个多月了,我想你们应该得到一些进展报告!当时,我非常后悔项目在我不太准备好社交化之前就变成了公开知识,但回想起来,这绝对是我们最好的事情之一。这就是我们得到Stef、Tako、Sergej和Ben以及其他愿意参与开发的人的原因。不幸的是,我们仍在私有的GitHub仓库中工作,这当然不是理想的情况,但它有助于我们专注于编写实际代码。

所以到目前为止,我们已经有了以下内容

  • 125页的语言规范(有一些开放问题和模糊部分),
  • 整个语言的解析器和类型安全语法树,
  • 大约85%语言的前端编译器(类型检查器/分析器),
  • 一个后端编译器,它将前端与javac的 bytecode 生成集成到大约40%的语言,以及
  • 一个 模型加载器 的框架,该加载器构建预编译.class文件的元模型(对于增量编译和与Java交互至关重要)。

编译器的前端(分析代码语义、为事物分配类型和报告编程错误的那个部分)基本上已经完成。当然,所有的“困难”部分都已经完成,包括泛型、协变、子类型、精化、成员类型、联合类型、确定赋值和确定返回检查、类型参数推断等。如果真的有紧迫性,缺少的功能可以很快完成,但我们不妨等待后端赶上。

后端和模型加载器的发展现在完全掌握在社区志愿者手中,坦率地说,到目前为止进展得非常好。当后端达到可用的形式时,我们将发布编译器的初始 alpha 质量版本。

我不会承诺第一次发布的确切日期,甚至不包括确切的功能集 - 但是我猜测它将在未来三个月内发生,并且将包括规范中定义的语言的大部分功能。到那时,我们希望开始将一些资源投入到SDK和IDE中。


返回顶部