转载

【七问七答】对话Erlang核心成员Eric Merritt

导读： 本文译自国外记者 Federico Carrone 对 Eric Merritt 的专访，Merritt是Erlang和分布式系统开发领域的专家，《Erlang/OTP并发编程实战》一书作者，他还是亚马逊的高级软件工程师。本文以Q&A问答形式呈现，探讨BEAM语言特性以及他对新技术发表的一些看法。

Q 1. 听说您对 Erlang VM(BEAM)赞许有加，请问它相比于其它VMs有什么特别之处呢？

Eric Merritt： 在很多系统中，例如Java，垃圾回收器都必须对整个堆栈进行检查来进行垃圾回收。尽管有一些优化方案，但是前提都是要检查整个堆栈的。BEAM则不同，它充分利用了actor(行动者)模式，其处理思路是：

如果进程没有运行，则不需进行回收。
如果进程已经运行，但是在垃圾回收器运行前已经终止了，则不需进行回收。
最后，如果进程需要被回收，则仅有单个进程需要被终止。
BEAM另外一个亮点是提供了底层的高效的异步 IO内置处理。开发者可以十分方便地进行异步IO处理。

Q 2. 请问Joxa的设计初衷是什么？

Eric Merritt： 曾经 DSLs完美地帮我解决了一个程序问题。该平台是基于Erlang和BEAM的，但Erlang并不能完美地与DSLs一起工作。在这个背景下，我决定编写Joxa。事后证明这是非常正确的决定。

Q 3. 请问你对于 Elixir有什么看法？

Eric Merritt： 我认为 Elixir是Erlang的推广大使，使人们更容易学习Erlang。它是Erlang生态系统中的重要一员。但是于我而言，我对Elixir保持中立态度。因为其宏系统不太连贯，可变性仍有待改进。

Q 4. 请问你对于编程语言的惰性有什么看法？在什么情况下这会带来好处呢？

Eric Merritt： 惰性概念是个很好的主意。依据趋势进行计算的方式在函数式编程中已经存在几十年了。相比下，惰性则更加务实。如果将来有更加高效的工具来检测和除错空间泄漏问题，惰性概念将会走得更远。

Q 5. 有没有可能在不破坏 Erlang语义的情况下使用Hindley Milner类型系统创建一种新的Erlang VM语言？

答：当然，我目前也正计划做类似的项目，但具体时间待定。难点是 Erlang本机系统的无类型位元和新系统有类型位元的相互衔接问题。例如ROY或Clojure等都是不错的借鉴对象。

Q 6. 你认为需要为 Erlang VM添加代数数据类型吗？或者说使用记录和标记图就能解决所有实际问题？

Eric Merritt： 类型系统与 VM关系一直不大，而与语言关系密切。也就是说，这是一个编译问题而不是运行时问题。事实上，添加代数类型是有好处的，比方说BEAM可运行更多优化的代码，但是在VM上运行一个成熟的类型语言则用处不大。

Q 7. 有没有其他语言或技术你正在关注的？

Eric Merritt： 语言方面仍有待观察。对于技术，我想微内核是非常有趣的。例如基于JVM的OSv，Mirage for OCaml 以及 BSD Rump Kernels。这些工具系统业务流程搭建的基石。此外，Nix包管理器，NixOS,以及Hashicorp的Atlas等都是值得关注的。

原文来自： Medium

（责编/夏梦竹）

正文到此结束