Bran强类型语言在Erlang VM上的应用与OCaml影响

Bran是一种在Erlang VM上运行的具有类型推断的强类型语言，深受OCaml的影响。要求使用Erlang/OTP 17.3来构建OCaml 4.02.1，以及Spotlib 2.5.0和OMake 0.9.8.6-0.rc1进行测试，使用OUnit2 2.0.0从源头构建。首先，在liberl目录下执行make以编译Bran模块所需的Erlang源代码。执行以下命令：

$ cd liberl

$ make

接下来，复制此目录或创建指向安装目标的符号链接：

$ ln -s /home/yourname/bran /opt/local/bran

然后，将bin目录的路径添加到命令行路径中（例如：环境变量PATH）：

# .bashrc, etc.

export PATH=/opt/local/bran/bin:$PATH

最后设置环境变量BR，以确保顺利运行。