田春冰河
2019-09-23 21:42:22 发布
[1/3] OCaml 真是一个充满恶意的编程平台，几乎每一个用这种语言写的软件都严重依赖于特定版本的特定编译选项，外层还有一个独立的 Camlp5 来改进语法。最可恨的是，作为一个交互环境不支持导出内存映像。我为了运行 hol-light，不得不学会使用 OPAM，然后把自己固定在特定的旧版本组合上。