Neut

Neut is a functional programming language with static memory management.

Key Features

• 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.

Basic Characteristics

• 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

Documentation

Please see: https://vekatze.github.io/neut/