結果 : principles of programming language notes