Lark

Lark 是一个实验性的编程系统，包括一种编程语言、一个编译器、构建系统、IDE 支持、以及 VSCode 插件。由于 Lark 是实验性的，并且处于早期阶段，你会发现它的完整性各不相同。

Lark 的主要目标是使用 Rust 作为实现语言，通过实验来探索设计编程语言的新方法。通过关注实现的整体性和广度优先的方法，我们希望找到有用的实现技术，这些技术可能更广泛地有用，尤其是在 Rust 自身的实现技术方面。我们也在探索可能更广泛有用的语言特性方法，但这些探索目前还比较具有推测性。

Lark 从其他语言中汲取了大量的灵感，特别是 Rust 编程语言。与 Rust 类似，它采用了从 Rust 的借用检查器中吸取的权限系统，以帮助确保安全、高效的代码，而无需垃圾回收器。虽然 Lark 并不总是与 Rust 的确切设计相同，但它意图从许多相同的设计公理开始

• 语言的常用模式不需要垃圾回收
• 语言在设计上是内存安全的
• 语言是线程友好的，保证没有数据竞争，并强烈鼓励消除其他类型竞争条件的模式

Lark 作为工具和语言，都被设计成将基本编译器和交互式代码编辑作为首要关注点。

为了实现这一点，Lark 系统大量依赖于 Salsa，这是一个用于高效增量计算的框架。这使得编译器可以请求一些信息，如函数参数的类型，并自动计算它需要的任何派生信息。这使得编译器按设计是增量式的。通过使用 Salsa 描述必要的计算，编译器和语言服务器会自动进行所需的信息服务所需的所有计算。

Salsa 已被用于 实验性的第三方 Rust 分析工具，通过 Lark，我们希望进一步探索 Salsa 使可能的能力。

它看起来像什么？

Lark 仍然非常实验性，许多核心功能可能会改变。尽管如此，当前版本看起来是这样的

struct Adder {
    x: uint
    y: uint

    sum() -> uint {
        self.x + self.y
    }
}

def main() {
    let adder = Adder(x: 4, y: 7)

    debug(adder.sum())
}

目标

当前Lark的目标集中在在Salsa增量计算系统之上构建一个新的编译器。同时，我们也在探索各种利用这一系统的功能，包括IDE支持、编译器和REPL/解释器。

Lark语言旨在获得兼顾表达性和效率的功能，并侧重于语言特性的可读性和可维护性成本。因此，Lark旨在采用80/20规则进行设计：如果一个设计可以在80%的时间内帮助程序员，即使在20%的时间内可能会使某些事情变得稍微繁琐，那么这是有价值的。

此外，Lark被设计为既是一种语言，也是一种系统，将IDE支持作为一个一等特性。

非目标

Lark，尤其是在其预alpha版本中，不打算用于任何商业产品。它而是打算作为一个研究语言使用。

Lark并不打算研究所有编程语言设计的领域，或者广泛积累语言特性。它而是专注于可以良好协同使用的特性集合，并展示它们可以考虑到增量编译来构建。Lark的最初设计者也非常参与并致力于Rust语言，因此它还专注于与Rust的设计目标精神相似的语言特性，以期探索可以启发Rust未来设计的语言设计问题。

在当前状态下，Lark并不试图创建最有效的代码。相反，它将优化推迟到外部编译器。尽管如此，Lark语言设计仍然考虑了效率，并试图避免在实践中会显著降低整个程序效率的设计。

当前状态

Lark处于预alpha阶段。它旨在探索许多感兴趣的领域，但不是对任何一个领域的完整探索。以下是对每个子领域状态的说明

• 语言特性
  • 条件语句
  • 函数和函数调用
  • 结构体、结构体实例创建、方法和成员访问
  • 字符串
  • bool 和 uint
  • 其他
• IDE支持
  • 语言服务器协议（LSP）支持
    • 查找所有引用（基本完成）
    • 转到定义（基本完成）
    • 重构/重命名（基于上面的查找所有引用）
    • 在输入时显示错误
    • 悬停显示类型
    • （注意：目前尚未实现补全功能）
  • VSCode插件
    • 以上所有LSP功能都支持在VSCode插件中
• 类型检查器
  • 支持的语言特性之间的基本类型检查
• 权限检查器
  • 所有权推理
  • 初始化检查
• 解释器
  • 通过解释器运行Lark代码
  • 交互式REPL
• 代码生成
  • 输出到Rust
  • 计划
    • 输出到C
    • 输出到WASM（可能）
• 错误报告
  • Rust样式的错误美观打印器
  • 最小化错误消息
• 内部测试
  • 编译器测试
  • IDE基于测试
• 内部设计
  • Salsa基于的增量编译
  • 多线程编译
  • 多线程IDE支持