Neut: Un lenguaje de programación funcional con gestión de memoria estática

Neut es un lenguaje de programación funcional con gestión de memoria estática, que combina hábilmente la compatibilidad total con λ-cálculo, la gestión automática de memoria predecible y la ausencia de anotaciones en el sistema de tipos. A diferencia de la gestión de basura tradicional, Neut utiliza un enfoque dirigido por tipos para gestionar los recursos. El compilador garantiza que cada variable se utilice exactamente una vez, traduciendo los tipos en funciones que pueden descartar o copiar valores. Incluso cuando es necesaria la copia, Neut evita la sobrecarga innecesaria utilizando el operador T-necesidad en la lógica modal, similar a los préstamos de Rust. Neut se compila a LLVM IR y binarios, e incluye un servidor LSP integrado, un formateador de código y una experiencia de creación de prototipos rápida similar a las lenguas de script. Su sistema de módulos único distingue los módulos utilizando resúmenes de tarballs y define las identidades de los módulos con información de versión.