Neut：静的メモリ管理を持つ関数型プログラミング言語

Neutは、静的メモリ管理を備えた関数型プログラミング言語であり、完全なλ計算のサポート、予測可能な自動メモリ管理、そして上記の両方を達成するための型システムへのアノテーションの不要さを巧みに組み合わせたものです。従来のガベージコレクションとは異なり、Neutはリソース処理に型指向のアプローチを採用しています。型を、型値を破棄/コピーできる関数に変換することで、コンパイラは各変数が正確に一度だけ使用されるようにします。コピーが必要な場合でも、NeutはモダールロジックのT-necessity演算子を使用して、Rustの借用のようなものを実現することで、不要なコピーを回避します。さらに、NeutはLLVM IRとバイナリにコンパイルされ、組み込みのLSPサーバー、コードフォーマッタ、スクリプト言語のような迅速なプロトタイピング体験を提供します。独自のモジュールシステムは、tarballのダイジェストを使用してモジュールを区別し、バージョン情報を使用してモジュールIDを定義します。