使用VScode和终端进行OCaml交互开发的适当实践

问题描述

我想知道在 Ocaml 中(在 MAC 中)编程的一种舒适方式是什么。

我目前正在使用 VSCode 来检测语法和类型错误,但随后我使用在线解释器进行编译(它会创建 ml)并在其上运行示例;我的意思是,实例化变量、测试示例等。例如,我使用在线:https://try.ocamlpro.com/

我知道这不是最好的方法:例如,如果一个包没有集成(让我们说 num),我不能执行 opam install num 并打开它。

所以我想知道哪个是合适的选择,既 (1) 像 VSCode 这样的酷界面和 (2) 即时编译 + 测试东西。

我想我已经接近下一个选项了:我在终端写 ocaml 然后打开一个模式:

OCaml version 4.10.2
#
#
#

...

在那里,我可以写:#open Num;; #open List;; #let...,但我不知道如何在其上加载文件

有人还告诉我有一种叫做“utop”的东西,但我看过了,对我来说似乎很先进。

感谢任何帮助!

解决方法

dune 完全支持这种开发模式,它提供 dune utop 命令,该命令将自动构建您的项目,将其与顶层链接,并使用所有可用的模块(和外部依赖项)启动它.

现在,如果您还没有使用沙丘,您可能想知道如何开始使用它。虽然沙丘文档很好而且很透彻,但如果他们只想玩 OCaml 的话,没有人愿意真正花几个小时来学习沙丘。所以这里是一个快速提示,要创建一个准备运行的 OCaml 代码,请使用 dune init,例如,

dune init proj play 

这将创建一个 play 文件夹,该文件夹将拥有完整的 OCaml 项目框架,可供使用。所以让我们输入它,

cd play

现在我们可以轻松构建和运行我们的项目了,

dune exec play

我们还在 play 文件夹中有 lib 库。它是空的,但您可以在那里创建任何文件,它们将在您的 bin/main.mldune utop 中可用,例如,让我们创建一个简单的模块,

(* file lib/say.ml *)

let hello () = print_endline "Hi!"

然后我们可以在我们的可执行文件中使用它,

(* file bin/main.ml *)

let () = Play.Say.hello ()

我们可以使用我们的库在 OCaml 顶层播放,例如,

$ dune utop 

然后在 utop shell 中

utop # Play.Say.hello ();;
Hi!
- : unit = ()

那么 vscode 呢?到目前为止,我们是在控制台中玩的,但是 vscodeocaml-platform 一起可以做到这一点,而无需离开您的编辑器。您甚至可以选择代码段并发送顶层(默认键绑定是 Shift-Enter),以实现交互式和迭代的自下而上开发。