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