Neut is a functional programming language with static memory management.

Its key features include:

• Full λ-calculus support
• Predictable automatic memory management
• The absence of annotations to the type system when achieving both of the above

Neut doesn’t use GCs or regions. Instead, it takes a type-directed approach to handle resources.

This looks quite full-featured and complete with documentation, formatter, LSP server, and a handful of sample applications written in it. It’s good to see another language offering some of the benefits of Rust, but potentially easier to learn and write.

I haven’t been able to try it myself yet as I’m travelling with my Windows ARM laptop and there’s no Windows support at the moment. Also the pre-compiled binaries appear to need glibc, so it doesn’t run in my Chimera Linux WSL instance. It’s implemented in Haskell, but ghc hasn’t been packaged for Chimera, so can’t build from source either.