说三道四技术文摘-感悟人生的经典句子
说三道四 > 文档快照

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

HTML文档下载 WORD文档下载 PDF文档下载
本文译自国外记者Federico Carrone对Eric Merritt的专访,Merritt是Erlang和分布式系统开发领域的专家,也是亚马逊的高级软件工程师。本文以Q&A问答形式呈现,探讨BEAM语言特性以及他对新技术发表的一些看法。

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


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

(责编/夏梦竹)

备案号:鲁ICP备13029499号-2 说三道四 www.s3d4.cn 说三道四技术文摘