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

VSCode 运行 Haskell 时的 GHCi 交互环境内存限制调整

冬杰同学_4561

冬杰同学_4561

发布时间:2026-06-21 10:16:17

|

343人浏览过

|

来源于php中文网

原创

GHCi 在 VSCode 中卡住或崩溃是因堆内存超默认1.4GB上限,需通过 stack.yaml(ghc-options)或 settings.json(serverExecutableArguments)传 -with-rtsopts=-M2g;同时配置 files.watcherExclude 排除 node_modules 等目录,并彻底重启 VSCode 使参数生效。

vscode 运行 haskell 时的 ghci 交互环境内存限制调整

为什么 GHCi 在 VSCode 里卡住或崩溃?

不是代码写错了,而是 ghci 进程自己堆内存爆了。VSCode 的 Haskell 扩展(如官方 Haskell 插件)默认调用系统 ghci,但不传任何 Node.js 或 GHC 运行时内存参数——而 GHCi 在加载大型模块、启用 -XTemplateHaskell、或反复重载含大量依赖的文件时,很容易突破默认的 1.4GB 堆上限,直接触发 Fatal error: out of memory 或静默退出。

怎么给 ghci 单独设内存上限?

VSCode 不控制 ghci 的启动参数,得靠你手动干预它的调用方式。关键路径有两条:

  • 如果你用的是 stack ghci(推荐):在项目根目录的 stack.yaml 里加 ghc-options: { "$locals": "-with-rtsopts=-M2g" } —— 注意单位是 2g(2GB),不是 MB;-M 是 GHC RTS 的堆上限开关,必须小写
  • 如果你直连系统 ghci(比如没配 stack):在 VSCode 的 settings.json 中配置 haskell.serverExecutableArguments,例如:
    "haskell.serverExecutableArguments": ["--ghci-options=-with-rtsopts=-M2g"]
    ——这个只影响 HLS 启动的 ghci 子进程,对终端里手动敲的 ghci 无效
  • 别碰 NODE_OPTIONS=--max-old-space-size:那是给 Node.js 进程用的,ghci 是纯 Haskell 进程,完全不认这个

files.watcherExclude 对 ghci 内存没用,但会间接救它

files.watcherExclude 本身不约束 ghci,但它能大幅减少 HLS 需要扫描和缓存的文件数。如果 **/node_modules/** 漏配,HLS 可能把整个 node_modules 下的 .hs 文件都扔进类型检查队列,再喂给 ghci 加载——结果就是 ghci 尝试解析上千个无关模块,堆瞬间拉满。

VSCode
VSCode

避免常见的 VSCode 错误——设置冲突、调试器配置和扩展冲突。

下载

必须确保该配置写在项目根目录的 .vscode/settings.json 中,且格式严格:

  • "**/node_modules/**": true ✅(双星号 + 尾部斜杠)
  • "**/node_modules": true ❌(VSCode 忽略)
  • 顺手加上 "**/.stack-work/**": true 和 "**/dist-newstyle/**": true,这些目录里全是 GHC 编译中间产物,极易触发重复加载

重启窗口比 reload window 更重要

HLS 和它拉起的 ghci 进程是长生命周期服务。你改完 stack.yaml 或 settings.json 后,只按 Ctrl+Shift+P → Developer: Reload Window 是不够的——旧 ghci 进程还在跑,新参数根本没生效。

必须:完全关闭 VSCode 窗口 → 杀掉残留进程(macOS/Linux 运行 pkill -f "ghci\|haskell-language-server",Windows 用任务管理器查 ghci.exe)→ 重新打开项目。否则你看到的还是那个吃着 1.4GB 内存、随时准备崩的旧 ghci。

热门AI工具

更多
UP简历
UP简历 Hot

一款AI办公效率工具,主要用于基于AI技术的免费在线简历制作工具,适合需要提升相关任务效率的用户。

讯飞智作

讯飞智作是一款AI视频创作工具,AI文本配音工具,数字人课程、营销视频制作。

WorkBuddy

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

豆包大模型

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

LibLibAI
LibLibAI Hot

一款AI视频创作工具,主要用于国内领先的AI创意平台,以海量模型、低门槛操作与“创作-分享-商业化”生态,让小白与专业创作者都能高效实现图文乃至视频创意表达,适合需要提升相关任务效率的用户。

Seko
Seko Hot

一款AI视频创作工具,主要用于商汤科技推出的创编一体的AI短视频创作Agent,适合需要提升相关任务效率的用户。

PixTV
PixTV Hot

PixTV是一款面向AIGC内容创作的AI视频生成工具。

蛙蛙写作

一款AI论文写作工具,主要用于超级AI智能写作助手,适合需要提升相关任务效率的用户。

DeepSeek

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

相关专题

更多
vscode是什么_vscode怎么安装配置
vscode是什么_vscode怎么安装配置

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

1215

2023.06.30

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

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

2472

2023.07.21

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

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

1849

2024.03.14

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

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

1707

2024.03.14

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

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

2567

2024.03.15

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

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

1798

2024.03.15

vscode用途介绍
vscode用途介绍

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

1222

2024.03.15

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

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

1096

2024.03.15

LLVM自定义Pass怎么写
LLVM自定义Pass怎么写

本专题聚焦LLVM自定义Pass开发,整理Pass类结构、run()方法、PreservedAnalyses、CMake构建、插件注册、-load-pass-plugin加载和测试用例编写流程。

0

2026.09.30

热门下载

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

精品课程

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

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