えーあいってやつが進歩したら媒介物にすぎないプログラミング言語を出力するなんて非効率なことはせず最初から機械語か中間言語を吐くようになるんじゃないんですか

プログラミング言語というのは人間向けの抽象化層なので

@boronology その吐かれたプログラムの確からしさはどう検証するんですか?