分享在 Windows 下使用 OCaml 的经验

第一次听说 Ocaml 是看到 Ocaml 写的 quicksort 算法：

let rec quicksort = function | [] -> [] | x::xs -> let smaller, larger = List.partition (fun y -> y < x) xs in quicksort smaller @ (x::quicksort larger);; List.iter (fun x -> Printf.printf "%d " x) (quicksort [2; 3; 1; 1; 7; 10]) 

Java 语言的实现相信大家都看过，这里我把Algorithms 4th中的源码贴一下：

public class Quick { public static void sort(Comparable[] a) { StdRandom.shuffle(a); sort(a, 0, a.length - 1); } private static void sort(Comparable[] a, int lo, int hi) { if (hi <= lo) return; int j = partition(a, lo, hi); sort(a, lo, j-1); sort(a, j+1, hi); } private static int partition(Comparable[] a, int lo, int hi) { int i = lo; int j = hi + 1; Comparable v = a[lo]; while (true) { while (less(a[++i], v)) { if (i == hi) break; } while (less(v, a[--j])) { if (j == lo) break; } if (i >= j) break; exch(a, i, j); } exch(a, lo, j); return j; } private static boolean less(Comparable v, Comparable w) { if (v == w) return false; return v.compareTo(w) < 0; } private static void exch(Object[] a, int i, int j) { Object swap = a[i]; a[i] = a[j]; a[j] = swap; } } 

两下一对比，被震撼到了。这么说吧，看 Ocaml 写的快排算法很容易看到算法的本质，而 Java 的实现则是“一团糟”，算法的本质隐藏到琐碎的细节中了，通篇都是if分支和数组索引。Ocaml 强大的模式匹配和 immunable 数据结构可以让你写出清晰简洁的代码。难能可贵的是，和曲高和寡的 Lisp 不同，Ocaml 虽然崇尚函数式编程，但并不排斥命令式编程。另外，Ocaml 是一门非常实用的语言，尤其适合编译方面的工作，所以如果你对 DSL 感兴趣，相信 Ocaml 会是你的菜，要知道大名鼎鼎的 Rust 语言在自举前编译器就是用 Ocaml 写的。

怀着激动的心情一通谷歌，发现只支持 Linux 和 OSX，这就蛋疼了。尝试了官网安装说明中几种 Windows 安装方式，效果都不理想，顶多就一个黑框框，毕竟自己不是大神，还是需要代码提示和代码格式化这样的功能的，所以尝试了几次，只好忍痛割爱。一个偶然的机会，接触了 Windows 上的 Wsl 系统，感觉不错，又想起心心念念的 Ocaml 了，自然就想到了结合 Wsl 是否可以搭建一个理想的 Ocaml 环境？摸索了一段时间，终于找到一种比较理想的方法。

全文请移步这里，最后配置好的环境如下，