Neut: 정적 메모리 관리를 갖춘 함수형 프로그래밍 언어

Neut는 정적 메모리 관리 기능을 갖춘 함수형 프로그래밍 언어로, 완벽한 λ-calculus 지원, 예측 가능한 자동 메모리 관리, 그리고 위의 두 가지를 달성하기 위한 타입 시스템 주석의 부재를 교묘하게 결합했습니다. 기존의 가비지 컬렉션과 달리 Neut는 리소스 처리에 타입 기반 접근 방식을 사용합니다. 타입을, 타입 값을 삭제하거나 복사할 수 있는 함수로 변환함으로써 컴파일러는 각 변수가 정확히 한 번만 사용되도록 합니다. 복사가 필요한 경우에도 Neut는 모달 로직의 T-necessity 연산자를 사용하여 Rust의 borrowing과 유사한 방식으로 불필요한 복사를 방지합니다. 또한 Neut는 LLVM IR 및 바이너리로 컴파일되며, 내장 LSP 서버, 코드 포맷터, 스크립팅 언어와 유사한 빠른 프로토타이핑 환경을 제공합니다. 고유한 모듈 시스템은 tarball 다이제스트를 사용하여 모듈을 구분하고 버전 정보를 사용하여 모듈 ID를 정의합니다.