wooo, what do we have here? A GC-free functional language that handles memory management not with scopes or lifetimes, but with dependent types 🌚🌚🌚
https://github.com/vekatze/neut
#useful_repositories #programming #neut
https://github.com/vekatze/neut
#useful_repositories #programming #neut
GitHub
GitHub - vekatze/neut: A programming language with static memory management based on λ-calculus
A programming language with static memory management based on λ-calculus - vekatze/neut