結果 : programing language theory