Get the latest tech news
Neut Programming Language
A functional programming language with static memory management.
Full λ-calculus support Predictable automatic memory management The absence of annotations to the type system when achieving both of the above As written there, Neut avoids such copyings by using the T-necessity operator in modal logic to achieve something like borrowing in Rust. Call by value Impure Compiles to LLVM IR and binary The type system ≒ CoC+ ADT+ (T-necessity) + (fix) - (universe hierarchy) That is, the usual one in functional programming, but a bit generalized
Or read this on Hacker News