他提出,通过全新的程序表达、