There's also an interesting programming language called Neut [1]: > A dependently-typed programming language with compile-time malloc/free determination. Also

There's also an interesting programming language called Neut [1]: > A dependently-typed programming language with compile-time malloc/free determination. Also related "ASAP: As Static As Possible memory management" [2]. I think most of the "innovation" you're talking about is happening in the programming language design field. [1] https://github.com/vekatze/neut https://github.com/vekatze/neut [2] https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-908.pdf https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-908.pdf