在HTML中正确引入JavaScript文件非常简单，只需要使用

这样浏览器会自动下载并执行指定URL的JavaScript文件。

2. 内部引入：

可以直接在HTML文件中使用

注意，这种方式适用于较小的JavaScript代码片段，如果代码较多或复杂，建议使用外部引入方式。

3. 延迟加载：

如果你希望在HTML文件加载完毕后再加载JavaScript文件，可以使用defer属性。例如：

`html

使用defer属性可以确保JavaScript文件在文档解析完毕后再执行，这样可以提高页面加载速度。

4. 异步加载：

如果你希望JavaScript文件的加载和执行不阻塞页面的加载，可以使用async属性。例如：

`html

使用async属性可以使JavaScript文件的加载和执行与页面的加载并行进行，适用于独立的脚本文件。

需要注意的是，引入JavaScript文件时应该放在HTML文件的合适位置，通常是放在标签的底部，这样可以确保JavaScript文件在页面内容加载完毕后再执行，避免阻塞页面的加载。

希望以上解答能够帮助你正确引入JavaScript文件。如果还有其他问题，请随时提问。

千锋教育拥有多年IT培训服务经验，开设Java培训、web前端培训、大数据培训，python培训、软件测试培训等课程，采用全程面授高品质、高体验教学模式，拥有国内一体化教学管理及学员服务，想获取更多IT技术干货请关注千锋教育IT培训机构官网。