可以从垃圾收集语言中生成一个Unikernel？

Question

最近，系统开发领域对Unikernels感到非常兴奋。简而言之，Unikernels是编译为自包含的可引导操作系统而不是现有操作系统中的进程的应用程序。

从谷歌的Go这样的垃圾收集语言编译Unikernel是否存在任何理论问题或实际警告？

Answer 1

从垃圾收集语言编译unikernel没有理论问题或实际警告。事实上，第一个unikernel项目之一MirageOS是一个用OCaml开发unikernels的框架，它是一个带有垃圾回收器的函数式编程语言。 Haskell的特定于语言的unikernel框架，HaLVM和Erlang/OTP，LING也存在并且具有不断增长的用户社区。甚至还有基于golang的unikernel项目，如Clive。

浏览the unikernel.org projects list了解爆炸的unikernel项目空间的更全面和最新的列表。