OCaml写Unikernel，到底在赌什么？

我用过OCaml写应用，但把操作系统裁剪成只剩应用本身的做法，说实话第一次听说时觉得过于极端——Unikernel把内核、库和程序打包进一个虚拟机镜像，没有传统OS那层抽象。问题是：当你用OCaml的强类型系统去构建这种极简系统，你省下的是复杂度还是可维护性？我的判断是，这条路更适合对安全性和性能有刚性约束的场景，比如嵌入式或云上的微服务节点。传统OS的"通用性"在这里反而是负担。OCaml的函数式特性让这种裁剪更自然，但也意味着开发者得接受工具链相对小众的代价。赌注清晰：用类型安全换系统精简，值得，但别指望生态追上Linux。

原文：Unikernels in OCaml · 来源：Hacker News