💡 语言分类版块 申请专用贴

[menduo]

欢迎没有专门“版块分类”的语言在此贴下面提出申请。

模板

基本信息

• 语言名称：
• 英文名称：
• 语言简介：一句话简单介绍。
• 您的角色：[创始人、联合创始人、核心开发人员、贡献者、路人甲]
• 语言详述：[可选]

相关链接

• 官网地址：要网址，不要网页标题超链接，链接本身就应该是网址本身；
• 仓库地址：要网址，不要网页标题超链接，链接本身就应该是网址本身；
• 文档地址：要网址，不要网页标题超链接。这个可选。

---

示例

基本信息

• 语言名称：凹语言
• 英文名称：wa
• 语言简介：专为 WebAssembly 设计的通用静态类型的编译型语言。
• 您的角色：创始人
• 语言详述：略。

相关链接

• 官网地址：https://wa-lang.org
• 仓库地址：https://github.com/wa-lang/wa/

[mikecovlee]

基本信息

• 语言名称：智锐编程语言
• 英文名称：Covariant Script (CovScript for short)
• 语言简介：国内首个全自主生态的跨平台通用动态语言
• 您的角色：创始人、核心开发人员
• 语言详述：略

相关链接

• 官网地址：http://covscript.org.cn/
• 仓库地址：https://github.com/covscript/
• 文档地址：https://csman.info/

[menduo]

@mikecovlee 已创建专属版块： 智锐 - 国产编程语言 (osanswer.net)

[ice1000]

基本信息

• 语言名称：Aya 证明器
• 英文名称：Aya Prover (Aya)
• 语言简介：定理证明器和编程语言的结合, 拥有表达力强大的类型系统, 在类型和值上使用同一个表达式语言
• 您的角色：创始人、核心开发人员
• 语言详述：在语言特性上站在学术界前沿, 同时也是为了实际的使用而设计. 支持高阶归纳类型和交错互归纳互递归, 以及一种全新的类型类机制. 目前较为复杂的特性仍在开发当中. 关于后端, Aya 计划使用双层 JIT 编译, 暂时只开发基于 JVM 的后端.

相关链接

• 官网地址：https://www.aya-prover.org/
• 仓库地址：https://github.com/aya-prover/aya-dev
• 文档地址：https://www.aya-prover.org/guide/haskeller-tutorial.html 这篇文章暂时介绍了一些目前已经稳定的语言特性, 暂时还在考虑/调整中的语言特性还没有写文档

[ice1000]

顺带一提, Aya 的文档支持这个功能 (悬浮在函数名上, 显示类型):

我觉得这酷毙了!

[menduo]

@ice1000 “Aya 证明器”分类已开设。