Neut is a functional programming language with static memory management.
- Full λ-calculus support
- Predictable automatic memory management
- The ability to achieve both of the above without extra type annotations
Neut doesn't use a GC. Instead, it takes a type-directed approach to handle resources. It even uses the T-necessity operator to formulate borrowing.
- Call by value
- Impure
- Compiles to LLVM IR and binary
- The type system ≒ CoC + ADT + (recursion) + (T-necessity) - (universe hierarchy)
- That is, the usual one in functional programming, but a bit generalized
- Built-in LSP support
- Built-in rapid prototyping experience like scripting languages
- Built-in formatter like Go
Please see: https://vekatze.github.io/neut/