静态与动态类型

静态在编译期检查，动态在运行时检查。前者更安全，后者更灵活。