Reminds me of HVM[0] [0]https://github.com/HigherOrderCO/HVM https://github.com/HigherOrderCO/HVM Really interesting to see how new lang concepts and refineme

Reminds me of HVM[0] [0]https://github.com/HigherOrderCO/HVM https://github.com/HigherOrderCO/HVM Really interesting to see how new lang concepts and refinements keep popping up this last decade, between Vale, Gleam, Hylo, Austral... Linear types really opened up lots of ways to improve memory management and compilation improvements.