对话Erlang核心成员Eric Merritt（核心成员简介怎么写）

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

原文来自：Medium

（责编/夏梦竹）

Tags：nixos

微信扫一扫：分享

微信里点“发现”，扫一下

二维码便可将本文分享至朋友圈。