結果 : static semantics vs dynamic semantics