Of course nobody should write production software with this, that's why the project loudly says that this is a PROTOTYPE. It is experimental software. These k

Of course nobody should write production software with this, that's why the project loudly says that this is a PROTOTYPE. It is experimental software. These kinds of tools are the future IMO. It's a higher layer of abstraction. Most programmers have no idea how their programs are actually executed--we write in a high-level language and rely on voodoo to execute it, without a "deep understanding" of how it's really executed, and without writing instruction-level tests. And it works great. I don't see how this is theoretically different, it's just a higher level of abstraction. Of course, its utility greatly depends on the practicality of its implementation (which includes performance)... > it becomes a list of instructions for codegen That describes exactly the everyday programming languages that we all use.