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