gluon：面向嵌入的静态类型函数式语言

gluon 是一门为应用嵌入而设计的小型静态类型函数式语言，采用基于 Hindley-Milner 的类型系统并支持类型推断，静态类型便于在 gluon 与宿主应用之间编写安全高效的接口。Rust 中定义的函数可直接传给 gluon，值的编组几乎不需要样板代码。语言默认使用 UTF-8，字符串为 Unicode 编码、字符为码点；虽有垃圾回收，但每个 gluon 线程使用独立堆以减小回收开销。Gluon 由 Rust 实现，保证线程安全，多个 gluon 程序可并行运行，但并行执行是较新特性，仍可能存在死锁等问题。仓库提供 REPL（支持表达式求值、绑定变量、加载文件、类型查询、补全等）、语言服务器（代码补全与格式化）、VS Code 扩展与 Vim 插件。目前与 gluon 虚拟机交互最便捷的方式是 Rust，另有一个尚在完善的 rudimentary C API。