讲师中心 微信公众号
AI工具推荐 视频效率加速

基于Sublime Text与Haskell Language Server的强类型函数式开发实践

星杰酱_4267

星杰酱_4267

发布时间:2026-07-17 08:43:04

|

554人浏览过

|

来源于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 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]

版本兼容性容易被忽略:GHC 9.4.x 必须配 HLS 2.4.x,差一个 patch 版本,hls.yaml 就会被忽略。

跳转定义总进 GHC 源码?检查 .cabal 的 build-depends 是否漏了模块依赖

HLS 只索引当前 package 声明的依赖。你写了 import Data.MyUtils,但 .cabal 里没在 build-depends: 下列出来,HLS 就认为这模块不存在,只能 fallback 到 GHC 标准库。

  • 打开 .cabal 文件,找到 library 或 executable section
  • 确认所有 import 的非标准模块,其所在包都列在 build-depends: 下,比如 my-utils >= 0.1.0
  • 如果模块是你自己写的本地库,要用 other-modules: 显式声明,否则 HLS 不知道该编译哪些文件
  • 改完 .cabal 后,必须删掉 dist-newstyle 目录再 cabal build 一次,否则 HLS 缓存旧信息,跳转依然错

最隐蔽的坑是:HLS 启动成功、hover 正常、错误标红也准,唯独跳转失效——这时候八成是 build-depends 漏了,不是插件或路径问题。

热门AI工具

更多
切问学术

切问学术是一款AI论文写作工具,复旦大学NLP团队推出的AI学术智能体。

超级简历WonderCV

一款AI办公效率工具,主要用于免费求职简历模版下载制作,应届生职场人必备简历制作神器,适合需要提升相关任务效率的用户。

Lovart
Lovart Hot

一款面向视觉设计创作的AI设计平台,可通过智能体和画布工作流辅助制作海报、Logo、网页、PPT及其他视觉内容。

WorkBuddy

一款AI办公效率工具,主要用于腾讯云推出的AI原生桌面智能体工作台,适合需要提升相关任务效率的用户。

PixPix
PixPix Hot

PixPix是一款面向电商视觉生产的AI商品图生成工具。

火山引擎

火山引擎是一款面向企业的云计算与AI服务平台。

UpDream
UpDream Hot

一款AI视频创作工具,主要用于哔哩哔哩推出的自研AI视频创作工具,适合需要提升相关任务效率的用户。

豆包大模型

豆包大模型是一款由字节跳动推出的企业级大语言模型服务平台。

DeepSeek

DeepSeek是一款面向对话、写作、编程和推理场景的AI大模型工具。

相关专题

更多
OpenJDK JVM参数怎么调优
OpenJDK JVM参数怎么调优

Java应用运行缓慢,如何调整JVM参数?本专题介绍OpenJDK JVM性能调优的基本流程,涵盖性能指标确认、运行数据采集、内存配置和垃圾回收分析,帮助你先定位瓶颈,再通过对照测试验证效果,避免直接套用参数而影响应用稳定性。

80

2026.10.16

OpenJDK怎么配置Java开发环境
OpenJDK怎么配置Java开发环境

怎样用OpenJDK搭建开发环境?本专题介绍版本选择、下载安装、环境变量配置和编译运行验证,帮助你理清JDK的作用及基本配置流程,并通过简单程序检查环境是否可用,为后续项目开发做好准备。

40

2026.10.16

OpenJDK怎么部署Java应用
OpenJDK怎么部署Java应用

Java项目开发完成后,怎样部署到目标环境并正常运行?本专题介绍OpenJDK应用部署流程,涵盖运行环境准备、版本兼容检查、应用打包、启动参数配置和日志查看,帮助你理清部署前后的操作顺序,减少环境差异造成的运行问题。

40

2026.10.16

Revel框架模板渲染与表单验证
Revel框架模板渲染与表单验证

本专题围绕Revel框架视图层开发,介绍模板语法、变量输出、布局复用、表单提交、参数绑定与验证规则,帮助开发者完成安全规范的页面交互。

20

2026.10.16

Revel框架MVC路由与控制器
Revel框架MVC路由与控制器

本专题聚焦Revel框架MVC核心机制,讲解路由定义、控制器Action、参数绑定、请求响应和反向路由,并结合常见场景梳理接口请求处理流程。

20

2026.10.16

Revel框架入门与安装配置
Revel框架入门与安装配置

本专题从Revel框架环境搭建讲起,系统介绍命令行工具安装、项目创建、目录结构、配置文件及热代码重载,帮助开发者快速完成首个Go Web应用。

20

2026.10.16

Linux 新手先学哪些命令
Linux 新手先学哪些命令

Linux新手命令专题汇集终端基础、文件目录操作、文本查看、软件安装和权限管理等入门文章,帮助按实际任务练习常用命令并建立命令行操作习惯。

40

2026.10.15

MySQL 忘记密码怎么办
MySQL 忘记密码怎么办

MySQL忘记密码专题汇集不同版本与系统下的root密码重置方法,覆盖MySQL 5.7、8.0、Mac、Linux及本地集成环境,并提示恢复权限与重新登录的检查步骤。

40

2026.10.15

Vue.js 中 ref 和 reactive 的区别
Vue.js 中 ref 和 reactive 的区别

Vue.js中ref和reactive的区别专题汇集两种响应式API的定义、访问方式、对象解构、侦听与性能取舍等文章,帮助结合实际状态类型选择合适写法。

20

2026.10.15

热门下载

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

精品课程

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

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn