基于Sublime Text与Haskell Language Server的强类型函数式开发实践-sublime-PHP中文网

ctrl+b 跑不起来首要原因是 runhaskell 未进入 sublime 的 path，需通过 which runhaskell 获取路径并手动注入 preferences.sublime-settings 的 env 字段，改后必须完全重启编辑器；hls 启动卡在 “starting…” 是因缺少 .cabal 或 hie.yaml；hover 缺失 forall 和约束需在 hls.yaml 中启用 showfulltypes；跳转进 ghc 源码则因 .cabal 的 build-depends 未完整声明导入模块。

基于sublime text与haskell language server的强类型函数式开发实践

Ctrl+B 跑不起来？先确认 runhaskell 是否真在 Sublime 的 PATH 里

Sublime 不继承你终端里的 PATH，尤其 macOS/Linux 从 Dock 启动、Windows 从开始菜单启动时，runhaskell 常根本找不到。这不是插件问题，是环境隔离。

终端里运行 which runhaskell，记下输出路径（比如 /Users/you/.ghcup/bin/runhaskell）
打开 Sublime 控制台（Ctrl+`），执行 import os; print(os.environ.get('PATH'))，看输出里有没有刚才的路径
如果没有，编辑 Preferences.sublime-settings，往 env 字段里手动加进去：
```
"env": {"PATH": "/Users/you/.ghcup/bin:${PATH}"}
```
改完必须完全退出 Sublime 再重开——reload window 不生效

验证方式：新建 hello.hs，内容为 main = print "ok"，按 Ctrl+B。成功则输出 "ok"；失败若报 'runhaskell' is not recognized，说明 PATH 还没对上。

HLS 启动卡在 “Starting…”？检查项目根目录有没有 .cabal 或 hie.yaml

HLS 不是“装了就跑”，它启动时会扫描项目结构。没有明确入口配置，它直接静默失败，Sublime 状态栏只显示 “Starting…” 然后消失，不报错也不提示。

单文件脚本不需要项目结构，但 HLS 仍需一个“锚点”：在 .hs 文件同级目录放一个空的 hie.yaml，内容仅
```
cradle:
  direct:
    arguments: []
```
如果是 Cabal 项目，必须有 .cabal 文件（哪怕只是 skeleton）；Stack 项目则要 stack.yaml 或 cabal.project
路径必须严格匹配：HLS 只认项目根目录下的配置文件，子目录里放没用
启动失败时，别急着重装插件——先在终端 cd 到项目根目录，运行 haskell-language-server --debug .，看输出里是否报 no cradle found

hover 看不到 forall 和约束？关掉 HLS 的 type pretty-printing

HLS 默认把 forall a. Eq a => [a] -> [a] 折成 [a] -> [a]，这不是 bug，是故意简化。但函数式开发中，约束和量词直接影响你能写什么、不能写什么，省略等于掩耳盗铃。

Sublime Text Build Linux版

Sublime Text Linux x86-64 deb 安装包。官方也提供 rpm、tar.xz 和软件源安装方式。

下载

在项目根目录建 hls.yaml（注意不是 hie.yaml），内容为
```
plugins:
  ghcide:
    typecheck:
      showFullTypes: true
```
确保 hie.yaml 同时存在且格式正确（上面已提）
改完后必须执行 Ctrl+Shift+P → LSP: Restart Servers，仅重启 Sublime 不管用——旧 HLS 进程还挂着
验证：hover 到 map，应看到 forall a b. (a -> b) -> [a] -> [b]，而不是 (a -> b) -> [a] -> [b]