結果 : static and dynamic semantics of a programming language