第一次听说 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 环境?摸索了一段时间,终于找到一种比较理想的方法。
全文请移步这里,最后配置好的环境如下,
1
siloong 2019-11-04 10:30:06 +08:00
给楼主点个赞,另外 haskell 也不错,楼主可以试试
|
3
DavidGao 2019-11-13 16:10:54 +08:00
点赞,我在 Windows 下果断切换 F#,OCaml 我只能在类 Unix 系统下用
|