既能享受静态类型带来的优点，如 IDE全方位的开发辅助和严格的代码检查；又能让代码像 Javascript 一样简洁和灵活