短语词组短语ideal deductive applicative language 理想演绎应用式语言applicative language idealized computing engine 理想化计算发动机应用式语言 返回 applicative language