在HTML文件中引入JavaScript文件有三种方式：
<script>标签嵌入JavaScript代码。例如：<script>
// JavaScript代码
</script>
<script>标签引入外部文件。例如：<script src="path/to/script.js"></script>
在src属性中指定JavaScript文件的路径。
<script>标签内。例如：<script type="text/javascript">
// JavaScript代码
</script>
在type属性中指定脚本的MIME类型，通常为text/javascript，但现代浏览器对此属性有默认值，可以省略不写。
