短語詞組短語ideal deductive applicative language 理想縯繹應(yīng)用式語言applicative language idealized computing engine 理想化計(jì)算發(fā)動(dòng)機(jī)應(yīng)用式語言 返回 applicative language