Neut：一种具有静态内存管理的函数式编程语言

Neut 是一种具有静态内存管理的函数式编程语言，它巧妙地结合了全 λ 演算支持、可预测的自动内存管理以及无需类型系统注解等特性。不同于传统的垃圾回收机制，Neut 采用类型导向的方法处理资源，通过将类型转换为可丢弃/复制值的函数，编译器确保每个变量只使用一次。即使需要复制数据，Neut 也通过模态逻辑中的 T-necessity 运算符来避免不必要的开销，类似于 Rust 中的借用机制。此外，Neut 还支持 LLVM IR 和二进制编译，并内置了 LSP 服务器、代码格式化工具以及类似脚本语言的快速原型设计体验。其模块系统也别具特色，使用 tarball 的摘要来区分模块，并利用版本信息定义模块标识。