OCaml 是一种支持函数式、命令式和面向对象编程范式的静态类型语言。 下载建议在MacOS，Linux(WSL)系统上运行Ocaml。 依次运行以下命令即可下载Ocaml及其相关工具： Linux： 1234567891011121314151617181920# 1. 更新系统包索引sudo apt update# 2. 安装 opam（OCaml 的包管理器）sudo apt inst...