您当前的位置:首页 > 电脑百科 > 程序开发 > 编程百科

OCaml 开发工具配置

时间:2022-06-21 15:07:46  来源:  作者:锋哥爱学习

那么现在教大家用vscode 来进行开发

ocaml实验室,提供了一个vscode 专用插件

https://Github.com/ocamllabs/vscode-ocaml-platform

安装

下面我们首先安装扩展依赖项,然后安装扩展本身。您可以颠倒顺序;只是如果没有所有依赖项,扩展将无法充分发挥作用。

  1. 安装扩展依赖项
  2. 此 VS Code 的大部分 OCaml 语言支持功能需要 OCaml 语言服务器(通常称为ocaml-lspor ocamllsp)。像往常一样使用您选择的包管理器安装 ocaml-lsp-server包: OPAM或 esy。包管理器的安装说明可 在此处获得。
  3. 确保将包安装在 用于编译项目的沙箱(通常是 OPAM开关或 esy 沙箱)中。
  4. 可选:
  5. 如果您需要源文件格式支持,请安装 ocamlformat包。
  6. 注意:格式化支持需要.ocamlformat在项目根目录中有文件。
  7. 当您将光标悬停在 OCaml 代码上时,扩展程序会向您显示代码的类型。要获得格式良好的类型,请安装 ocamlformat-rpc 包。
  8. 从 VSCode Marketplace安装此扩展。VSCode 扩展安装说明可 在此处获得。

如果您使用的是 maclinux,现在您应该已安装并准备好所有必要的东西。您可以跳过下面名为“windows”的小节并继续“为您的项目设置扩展”。

在 Windows 上

安装OCaml for Windows并确保ocaml-env程序可在 PATH 上访问(ocaml-env位于usr/local/bin相对于安装目录的文件夹中)。

为您的项目设置扩展

OCaml 开发工具配置

 

  1. 打开您的 OCaml/ReasonML 项目 ( File > Add Folder to Workspace...)。
  2. 将扩展配置为使用所需的沙箱(通常是 OPAM 开关或 esy 沙箱)。你可以选择它
  3. 调用 VSCode 命令“OCaml:为此工作区选择沙箱”(可以从 VSCode 命令面板 - Ctrl+P 或在 MacOS Cmd+ Shift+上执行此操作P)
  4. 或单击 VSCode 窗口底部的包图标并从菜单中选择您的沙箱
  5. 什么是沙盒?简而言之,沙盒的主要目的是指定此扩展应如何调用其依赖项,例如 ocaml-lsp-serveror ocamlformat。有关什么是沙盒的更多信息,请参阅“沙盒”小节。
  6. 使用Dune构建您的项目以获得定义、自动完成等。
  7. 重要提示:OCaml 语言服务器有关于您上次构建项目的文件的信息。
  8. 警告 1:由于上述说明,在您的项目的积极开发期间,我们建议您使用 dune 在轮询模式下使用选项构建您的项目--watch。每当您的项目中的文件发生更改时,这都会重新构建您的项目。例如, dune build --watch --terminal-persistence=clear-on-rebuild在您的 VSCode 集成终端中运行。
  9. 警告 2:保存当前打开的文件以获取最新的诊断信息(错误和警告波浪线下划线)。例如,如果您A在某个文件中创建了一个模块,但您仍然收到当前文件中“未绑定”(即未找到)的错误消息,请保存该文件以获取最新的诊断信息,假设您构建了您的添加后的项目A或正在以轮询模式运行构建,并确保该错误不是陈旧的错误。

至此,您应该准备好一个可以工作的 OCaml 开发编辑器。



Tags:OCaml   点击:()  评论:()
声明:本站部分内容及图片来自互联网,转载是出于传递更多信息之目的,内容观点仅代表作者本人,不构成投资建议。投资者据此操作,风险自担。如有任何标注错误或版权侵犯请与我们联系,我们将及时更正、删除。
▌相关推荐
OCaml 开发工具配置
那么现在教大家用vscode 来进行开发ocaml实验室,提供了一个vscode 专用插件https://github.com/ocamllabs/vscode-ocaml-platform安装下面我们首先安装扩展依赖项,然后安装扩...【详细内容】
2022-06-21  Search: OCaml  点击:(403)  评论:(0)  加入收藏
▌简易百科推荐
Meta如何将缓存一致性提高到99.99999999%
介绍缓存是一种强大的技术,广泛应用于计算机系统的各个方面,从硬件缓存到操作系统、网络浏览器,尤其是后端开发。对于Meta这样的公司来说,缓存尤为重要,因为它有助于减少延迟、扩...【详细内容】
2024-04-15    dbaplus社群  Tags:Meta   点击:(3)  评论:(0)  加入收藏
SELECT COUNT(*) 会造成全表扫描?回去等通知吧
前言SELECT COUNT(*)会不会导致全表扫描引起慢查询呢?SELECT COUNT(*) FROM SomeTable网上有一种说法,针对无 where_clause 的 COUNT(*),MySQL 是有优化的,优化器会选择成本最小...【详细内容】
2024-04-11  dbaplus社群    Tags:SELECT   点击:(3)  评论:(0)  加入收藏
10年架构师感悟:从问题出发,而非技术
这些感悟并非来自于具体的技术实现,而是关于我在架构设计和实施过程中所体会到的一些软性经验和领悟。我希望通过这些分享,能够激发大家对于架构设计和技术实践的思考,帮助大家...【详细内容】
2024-04-11  dbaplus社群    Tags:架构师   点击:(2)  评论:(0)  加入收藏
Netflix 是如何管理 2.38 亿会员的
作者 | Surabhi Diwan译者 | 明知山策划 | TinaNetflix 高级软件工程师 Surabhi Diwan 在 2023 年旧金山 QCon 大会上发表了题为管理 Netflix 的 2.38 亿会员 的演讲。她在...【详细内容】
2024-04-08    InfoQ  Tags:Netflix   点击:(5)  评论:(0)  加入收藏
即将过时的 5 种软件开发技能!
作者 | Eran Yahav编译 | 言征出品 | 51CTO技术栈(微信号:blog51cto) 时至今日,AI编码工具已经进化到足够强大了吗?这未必好回答,但从2023 年 Stack Overflow 上的调查数据来看,44%...【详细内容】
2024-04-03    51CTO  Tags:软件开发   点击:(9)  评论:(0)  加入收藏
跳转链接代码怎么写?
在网页开发中,跳转链接是一项常见的功能。然而,对于非技术人员来说,编写跳转链接代码可能会显得有些困难。不用担心!我们可以借助外链平台来简化操作,即使没有编程经验,也能轻松实...【详细内容】
2024-03-27  蓝色天纪    Tags:跳转链接   点击:(16)  评论:(0)  加入收藏
中台亡了,问题到底出在哪里?
曾几何时,中台一度被当做“变革灵药”,嫁接在“前台作战单元”和“后台资源部门”之间,实现企业各业务线的“打通”和全域业务能力集成,提高开发和服务效率。但在中台如火如荼之...【详细内容】
2024-03-27  dbaplus社群    Tags:中台   点击:(14)  评论:(0)  加入收藏
员工写了个比删库更可怕的Bug!
想必大家都听说过删库跑路吧,我之前一直把它当一个段子来看。可万万没想到,就在昨天,我们公司的某位员工,竟然写了一个比删库更可怕的 Bug!给大家分享一下(不是公开处刑),希望朋友们...【详细内容】
2024-03-26  dbaplus社群    Tags:Bug   点击:(9)  评论:(0)  加入收藏
我们一起聊聊什么是正向代理和反向代理
从字面意思上看,代理就是代替处理的意思,一个对象有能力代替另一个对象处理某一件事。代理,这个词在我们的日常生活中也不陌生,比如在购物、旅游等场景中,我们经常会委托别人代替...【详细内容】
2024-03-26  萤火架构  微信公众号  Tags:正向代理   点击:(14)  评论:(0)  加入收藏
看一遍就理解:IO模型详解
前言大家好,我是程序员田螺。今天我们一起来学习IO模型。在本文开始前呢,先问问大家几个问题哈~什么是IO呢?什么是阻塞非阻塞IO?什么是同步异步IO?什么是IO多路复用?select/epoll...【详细内容】
2024-03-26  捡田螺的小男孩  微信公众号  Tags:IO模型   点击:(10)  评论:(0)  加入收藏
相关文章
    无相关信息
站内最新
站内热门
站内头条