AIR, what is it good for?

well, besides being a last step prior to sending stuff to the compiler backends.

I made a video about the idea of using AIR to get "extra" safety in zig. Without changing the language. For example, preventing use of undefined values, no more leaking stack pointers from functions, and the UAF/DF memory safety issues, and even an extra goodie:

https://www.youtube.com/watch?v=ZY_Z-aGbYm8

code here:

https://github.com/ityonemo/clr

Note that this is not by any means a complete implementation (branches are not implemented, for example) but it begins to show that the things that we might want in (cough cough) that other language, might be possible in zig, just... not in the compiler.