Neut

Neut is a functional programming language with static memory management.

Key Features

• Full λ-calculus support
• Predictable, type-directed memory management
• No extra type annotations needed to achieve both of the above

Basic Characteristics

• Call-by-value
• Impure
• Compiles to LLVM IR and native binaries
• The type system ≈ System Fω + ADT + recursion + box modality
  • That is, the usual one in functional programming, but a bit generalized
• Built-in LSP support
• Built-in rapid prototyping support as found in scripting languages
• Built-in formatter

Documentation

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