結果 : what is static type programming language