Show HN: A dependently-typed programming language with static memory management
This reminds me a lot of Carp: <a href="https://github.com/carp-lang/Carp" rel="nofollow">https://github.com/carp-lang/Carp</a>