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

基于Sublime Text的F#函数式系统编程实践

酷瑶大大_9382

酷瑶大大_9382

发布时间:2026-08-02 08:02:08

|

916人浏览过

|

来源于php中文网

原创

必须安装作者为fsharp-sublime的插件并手动设语法为F#,配置selector为source.fsharp的dotnet fsi构建系统;否则右下角显示Plain Text、Ctrl+B无响应、错误行号不可点击。

基于sublime text的f#函数式系统编程实践

为什么 .fs 和 .fsx 文件打开还是 Plain Text

这不是插件没装,是语法识别链断在了第一步:Sublime 默认根本不认识 .fs 和 .fsx 后缀。右下角显示 Plain Text 就说明整个语法定义没加载进来。

  • 必须用 Package Control 安装作者明确为 fsharp-sublime 的包——搜到 FSharp 就装,大概率会选错;FSharpSyntax、OCaml 类泛用包会劫持 .fs,导致 let 变蓝但 match 不高亮,缩进全乱
  • 安装后打开任意 .fs 文件,手动点击右下角 → 选 F#;或按 Ctrl+Shift+P 输入 Set Syntax: F#
  • 若仍不生效,进 Preferences → Package Settings → FSharp → Settings,确认 "extensions" 数组里有 "fs" 和 "fsx"(注意不是 "extension" 单数)

Ctrl+B 运行 .fsx 报 dotnet not found 怎么修

这不是 PATH 没配好,是 Sublime 构建系统压根不继承 shell 环境变量——你在终端能跑 dotnet fsi --version,不代表它能看见。

  • 先在终端确认 dotnet --version ≥ 6.0,且 dotnet fsi --version 有输出;fsharpi 已彻底废弃,含它的构建配置必挂
  • 新建构建系统:Tools → Build System → New Build System…,贴入以下内容并保存为 FSharp.sublime-build:
  • {
      "shell_cmd": "dotnet fsi "$file"",
      "file_regex": "^(.*?):([0-9]+):([0-9]+):? ?(.*)$",
      "working_dir": "$file_path",
      "selector": "source.fsharp"
    }
  • selector 必须是 source.fsharp(不是 source.fs 或空值),否则打开 .fsx 时根本不会自动激活该构建系统
  • Windows 用户若用 Git Bash/MSYS2,把 shell_cmd 改成 bash -c "dotnet fsi "$file"";macOS/Linux 用户若用 zsh 且无输出,检查是否启用了 NO_COLOR 干扰了 dotnet fsi 的输出格式

如何让错误行号可点击跳转

file_regex 配错,等于白配——点错误信息不会跳到对应位置,调试效率直接归零。

Sublime Text Build Linux版
Sublime Text Build Linux版

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

下载
  • F# 实际报错格式是 test.fsx(5,12–5,18),即 文件名(行,列–行,列),不是 GCC 风格的 file:line:col
  • 上面给出的正则 ^(.*?):([0-9]+):([0-9]+):? ?(.*)$ 是匹配传统编译器输出的,对 dotnet fsi 的默认输出无效
  • 要支持 dotnet fsi 的括号格式,得换成:^(.*?)(?:\((\d+),(\d+)(?:-(\d+),(\d+))?\))?:? ?(.*)$,但 Sublime 的 file_regex 不支持命名捕获组,所以实际只能靠 dotnet fsi 加参数强制输出兼容格式:"shell_cmd": "dotnet fsi --no-color --quiet "$file""
  • 更稳的办法是改用 cmd 字段 + 显式路径(尤其 Windows):"cmd": ["C:\Program Files\dotnet\dotnet.exe", "fsi", "$file"]

.fs 文件没法 Ctrl+B 编译?那是设计如此

.fs 是模块文件,不是脚本——dotnet fsi 只接受 .fsx,对 .fs 直接报错 error FS0193,这不是配置问题,是语言模型决定的。

  • .fs 必须放在标准项目结构里:dotnet new classlib -lang F# 生成 .fsproj 后再编辑,编译走 dotnet build
  • 硬要在 Sublime 里触发编译,得另建一个 FSharp-Compile.sublime-build,内容为:"cmd": ["dotnet", "build"],并确保当前文件在项目根目录下(working_dir 设为 $project_path)
  • 别指望单个 .fs 文件像 Python 那样一键运行;F# 的模块系统依赖项目上下文,脱离 .fsproj 的 .fs 就是没“户口”的代码片段

真正卡住人的从来不是语法,而是 Sublime 对 source.fsharp 的 selector 绑定、dotnet fsi 的输出格式与 file_regex 的隐式耦合,还有 .fs 和 .fsx 在工具链里的角色分野——这些细节不调准,写再漂亮的函数也没法跑起来。

相关文章

编程速学教程(入门课程)
编程速学教程(入门课程)

编程怎么学习?编程怎么入门?编程在哪学?编程怎么学才快?不用担心,这里为大家提供了编程速学教程(入门课程),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

热门AI工具

更多
VibeKnow
VibeKnow Hot

一款AI视频创作工具,主要用于全球首个AI知识视频创作平台,文档、文章、网页,一键生成视频,适合需要提升相关任务效率的用户。

WorkBuddy

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

讯飞绘文

讯飞绘文是一款由科大讯飞推出的一站式 AIGC 内容运营平台。

SkildArt
SkildArt Hot

SkildArt是一款AI文本写作工具,一站式 AI 视觉创作平台。

切问学术

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

豆包大模型

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

墨刀AI
墨刀AI Hot

一款AI图像与设计工具,主要用于产品经理的专属智能体,适合需要提升相关任务效率的用户。

咔片AIPPT

一款在线AI演示文稿制作工具,可根据主题和内容需求辅助生成PPT结构与页面,提高演示材料制作效率。

DeepSeek

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

相关专题

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

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

0

2026.09.30

LLVM RISC-V参数配置教程
LLVM RISC-V参数配置教程

本专题介绍LLVM对RISC-V基础ISA和扩展的支持方式,涵盖RV32、RV64、标准扩展、实验性扩展、厂商扩展、-menable-experimental-extensions和版本差异。

0

2026.09.30

LLVM IR中间表示入门指南
LLVM IR中间表示入门指南

本专题整理LLVM IR的核心概念,包括中间表示作用、模块结构、函数、基本块、SSA形式、类型系统和常见语法,帮助新手理解LLVM编译流程中的关键层。

0

2026.09.30

PDF转图片方法
PDF转图片方法

需要把 PDF 页面用于上传、预览、分享或图片归档时,PDF 转图片方法专题整理 JPG/PNG 格式选择、逐页导出、清晰度设置、批量下载和结果检查等流程,帮助用户稳定完成 PDF 图片化处理。

0

2026.09.30

PixTV AI视频生成与无限画布创作
PixTV AI视频生成与无限画布创作

PixTV专题整理AI视频与视觉内容创作相关功能使用教程,涵盖AI生图、视频生成、无限画布、多模型创作、素材管理、声音音乐及视频剪辑等功能,帮助用户快速掌握PixTV从创意到成片的完整制作方法。

0

2026.09.29

Buffalo框架数据库开发全教程
Buffalo框架数据库开发全教程

本专题围绕Buffalo框架数据库开发,讲解database.yml多环境配置、soda与fizz迁移生成回滚、模型结构体标签、增删改查与条件查询、一对多与多对多关联、数据校验、回调钩子、事务处理及原生SQL执行能力。

200

2026.09.23

Buffalo框架路由与请求处理实操指南
Buffalo框架路由与请求处理实操指南

本专题讲解Buffalo框架路由与请求处理机制,涵盖路由注册与分组、资源路由、Handler编写规范、Context上下文方法、参数绑定、中间件编写挂载、Session与Cookie读写、Flash消息及错误页面定制方法。

120

2026.09.23

Buffalo框架零基础入门教程
Buffalo框架零基础入门教程

本专题整理Buffalo框架入门内容,涵盖Go环境准备、buffalo CLI安装、新项目生成、目录结构说明、dev热加载启动、数据库连接配置与常见报错排查,帮助新手按约定优于配置的思路跑通第一个Buffalo框架应用。

100

2026.09.23

Conan创建软件包配方指南
Conan创建软件包配方指南

本专题介绍通过conanfile.py创建软件包的方法,讲解包名、版本、依赖和构建设置等基础信息,以及source、build、package、package_info等常用方法的作用及编写思路。

60

2026.09.22

热门下载

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

精品课程

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

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