任何人都可以提供一些优点和缺点; 静态类型检查和动态类型检查？
compiler-construction typechecking
compiler-construction ×1
typechecking ×1