当我要求使用ocamlopt时，为什么沙丘使用ocamlc？

当你要求使用ocamlopt时，沙丘使用ocamlc的原因可能有以下几点：

1. 兼容性：ocamlopt是OCaml的原生代码编译器，它将OCaml代码编译成机器码，执行效率更高。然而，ocamlopt只能编译纯OCaml代码，无法编译使用C语言库的代码。而沙丘是一个使用OCaml编写的项目，可能依赖了一些C语言库，因此使用ocamlc可以保证代码的兼容性，能够编译包含C语言库的代码。
2. 开发效率：ocamlc是OCaml的字节码编译器，它将OCaml代码编译成字节码，然后在OCaml虚拟机上执行。相比于ocamlopt生成的机器码，字节码的执行效率较低。但是，字节码编译速度更快，生成的可执行文件也更小。在开发阶段，使用ocamlc可以加快编译速度，提高开发效率。
3. 跨平台：由于ocamlc生成的是字节码，而不是机器码，所以可以在不同的平台上运行。这意味着沙丘可以在不同的操作系统和架构上使用，而不需要针对每个平台单独编译。

总结起来，沙丘使用ocamlc而不是ocamlopt可能是为了保证代码的兼容性、提高开发效率和实现跨平台的能力。