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
What's a callback and how is it implemented in C#?
https://stackoverflow.com/questions/2139812/what-is-a-callback
https://stackoverflow.com/questions/2139812/what-is-a-callback
π2π2π1π1