0

0

VSCode for Haskell:配置HLS和Stack/Cabal

P粉986688829

P粉986688829

发布时间:2025-12-19 15:53:02

|

936人浏览过

|

来源于php中文网

原创

需安装Stack或Cabal及匹配版本的HLS,并在VSCode中配置官方扩展与服务器路径,确保项目含stack.yaml或.cabal文件,最后验证类型提示与跳转功能正常。

vscode for haskell:配置hls和stack/cabal

如果您希望在 VSCode 中高效开发 Haskell 项目,需正确配置 Haskell Language Server(HLS)以及构建工具 Stack 或 Cabal。以下是完成该配置的具体步骤:

本文运行环境:MacBook Pro,macOS Sequoia。

一、安装 Haskell 工具链

为支持 HLS 运行,需先在系统中安装 GHC、Cabal 和/或 Stack,并确保其可被 VSCode 访问。HLS 依赖于这些底层工具来解析项目结构与类型信息。

1、打开终端,执行 brew install haskell-stack 安装 Stack(推荐方式)。

2、运行 stack setup 自动下载并安装匹配的 GHC 版本。

3、可选:如需使用 Cabal,执行 brew install ghc cabal-install 并运行 cabal update

二、安装 Haskell Language Server(HLS)

HLS 是 VSCode 中提供语法高亮、跳转定义、类型提示等核心功能的语言服务器,必须与当前项目的 GHC 版本严格匹配。

1、进入任意 Haskell 项目根目录,执行 stack install hls(若使用 Stack 构建)。

2、若项目使用 Cabal,改用 cabal install hls,并确保 ~/.cabal/bin 已加入 PATH。

3、验证安装:在终端运行 haskell-language-server --version,确认输出包含版本号及 GHC 绑定信息。

三、配置 VSCode 扩展与设置

VSCode 需通过官方扩展识别 HLS 并启动对应语言服务器进程,同时避免与旧版 Haskell 扩展冲突。

1、在扩展市场中卸载所有非官方的 Haskell 相关扩展,仅保留 Haskell (Haskell Language Server)(作者:haskell.haskell)。

学习导航
学习导航

学习者优质的学习网址导航网站

下载

2、打开 VSCode 设置(Cmd+,),搜索 haskell server path,将值设为 haskell-language-server(若已全局可执行)或指定完整路径如 /Users/username/.local/bin/haskell-language-server

3、在设置中启用 Haskell > Trace: Server 以在输出面板中查看 HLS 启动日志。

四、初始化项目并验证 HLS 加载

VSCode 依赖 .cabal 文件或 stack.yaml 判断项目类型,只有正确识别后才会激活 HLS 功能。

1、在空目录中执行 stack new my-haskell-project 创建标准 Stack 项目。

2、用 VSCode 打开该目录,等待右下角状态栏出现 HLS ready 提示。

3、打开 src/Lib.hs,将光标悬停在函数名上,确认是否显示类型签名;尝试 Cmd+Click 跳转至 Data.List 等模块定义。

五、处理常见 HLS 启动失败场景

当 HLS 无法加载时,通常因 GHC 版本不匹配、项目配置缺失或权限问题导致,需针对性排查。

1、若输出面板显示 Failed to start language server: cannot satisfy -package-id,说明 HLS 编译时所用 GHC 与项目不一致,应删除 .stack-work 并重新运行 stack build

2、若提示 Could not find project config file (stack.yaml or cabal.project),在项目根目录手动创建空的 stack.yamlcabal.project 文件。

3、在 macOS 上若遇到权限拒绝错误,检查 haskell-language-server 是否被 Gatekeeper 阻止,执行 xattr -d com.apple.quarantine /path/to/haskell-language-server 解除隔离。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
vscode
vscode

VS Code(Visual Studio Code)是一款免费、开源的跨平台代码编辑器,由微软开发和维护。它被广泛用于软件开发和编程,支持多种编程语言和框架。VS Code 同时提供了丰富的功能和扩展性,使开发者可以高效地编写、编辑和调试代码。

593

2023.06.30

vscode怎么运行代码
vscode怎么运行代码

vscode是一个运行于MacOS X、Windows和Linux之上的,针对于编写现代Web和云应用的跨平台源代码编辑器;vscode免费而且功能强大,对JavaScript和NodeJS的支持非常好,自带很多功能,例如代码格式化,代码智能提示补全、Emmet插件等。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

223

2023.07.21

vscode使用的框架介绍
vscode使用的框架介绍

VSCode是一款跨平台代码编辑器,它基于Electron框架和Monaco Editor构建。想了解更多vscode的相关内容,可以阅读本专题下面的文章。

396

2024.03.14

vscode一般用来写什么语言
vscode一般用来写什么语言

VSCode是一款功能强大的代码编辑器,支持多种编程语言和文件格式。它内置对 JavaScript、Python、Java、C++、TypeScript、HTML/CSS、Go 等语言的支持。想了解更多vscode的相关内容,可以阅读本专题下面的文章。

380

2024.03.14

vscode可以写什么语言
vscode可以写什么语言

vscode是一款强大的代码编辑器,支持多种编程语言的开发。通过安装扩展,可以为 JavaScript/TypeScript、Python、Java、C#、PHP、Go、Ruby、Rust、HTML/CSS 等语言提供智能代码补全、调试和格式化等功能。想了解更多vscode的相关内容,可以阅读本专题下面的文章。

553

2024.03.15

vscode中文设置方法
vscode中文设置方法

方法一:在设置页面中,搜索“locale”,并选择“zh-cn”。方法二:按“Ctrl Shift P”快捷键,输入“Configure Display Language”,将语言修改为“zh-cn”。如果上述方法无效,可考虑安装中文插件。想了解更多vscode的相关内容,可以阅读本专题下面的文章。

556

2024.03.15

vscode用途介绍
vscode用途介绍

Visual Studio Code(VSCode)是一款由 Microsoft 开发的多功能文本编辑器,适用于各种编程语言。作为一款开源软件,VSCode 拥有代码高亮、自动补全、调试、Git 集成等强大功能,成为程序员不可或缺的工具。想了解更多vscode的相关内容,可以阅读本专题下面的文章。

502

2024.03.15

vscode和visualstudio的区别
vscode和visualstudio的区别

Visual Studio是一款功能强大的集成开发环境(IDE),适用于专业开发人员进行复杂项目的构建。而VSCode则是一款轻量级的代码编辑器,更适合各种规模的项目开发。想了解更多vscode的相关内容,可以阅读本专题下面的文章。

507

2024.03.15

java入门学习合集
java入门学习合集

本专题整合了java入门学习指南、初学者项目实战、入门到精通等等内容,阅读专题下面的文章了解更多详细学习方法。

1

2026.01.29

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
go语言零基础开发内容管理系统
go语言零基础开发内容管理系统

共34课时 | 2.6万人学习

第二十三期_前端开发
第二十三期_前端开发

共98课时 | 7.6万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号