Hans Svensson专访:关于语法、骗局和偏执


#1

Hans分享了他对函数式编程、共识以及区块链是否会真正改变世界的看法。

​​Hans Svensson拥有超过15年的Erlang编程经验,是并行程序模型检查的专家。他实现了CAN和LIN协议,并担任QuickCheck专家,测试SSL、Riak、汽车协议、电信协议和各种其他分布式系统。他已经实现了Erlang的语义并且知道VM虚拟机的角角落落。作为以并发编程为统一主题的多库作者,他拥有Erlang项目测试、模型检查和Erlang程序验证方面的博士学位。Hans为æternity项目带来了他轻松但敬业的天性,他的愿望和坚持到底的能力为许多人所熟知。最近, 我们和他坐下来, 询问他对函数式编程、共识以及区块链是否真的会改变世界的看法。

是什么让你决定加入团队?

我来自学术背景, 曾与分布式系统合作, 并教授过密码学课程, 我很自然地对区块链技术的出现至少有一些兴趣。然而,几年来, 我忙于工作和家庭, 无法去详细探索。

当我被介绍到æternity项目时,这种情况发生了变化。这似乎是在Erlang中构建下一代区块链的绝佳机会。

你对区块链最感兴趣的是什么?

我发现去中心化的性质非常有趣。

我喜欢这样的想法:区块链确实存在,并且没有人在 “运行它”。

是的, 当然有一个社区(在运行它), 它所经历的大多数变化都包括某种形式的共识。但是, 说到底, 定义区块链的是大多数参与者运行的代码本身。

你认为区块链有可能改变世界吗?

这个问题,自从朋友听到我目前参与区块链项目,就经常被问到。我经常告诉他们,我认为现有的区块链中的一些 - 可能是极少数 - 将会持续存在,并且在未来的技术中奠定非常重要的基础。但是,我不太确定它本身会改变这个世界。从某种意义上说,它可能会这样做,因为可以在区块链上构建一些突破性的服务。但是这种情况如何发生,还有待观察。

关于Erlang作为一种编程语言,你最喜欢的是什么?

我只能选一个?对我来说,必须是它现代而简洁的语法…开个玩笑!但认真地说, 除了无与伦比的并发模式外, 我通常最喜欢的是, 我可以真正地富有成效。函数式和动态输入的语言也有很大帮助。编写了冗长的命令式程序并与Haskell类型检查器作斗争,这个功能对我来说非常有价值。

目前你工作的最大挑战是什么?

æternity的最大挑战是吸收。当然,我们可以开发和改进很多东西。但我们需要教育人们,让他们理解并热爱我们已有的概念。我们的合约语言就是一个很好的例子。例如,与Solidity相比,它是不同的。但这个不同的原因,如果你问我,它是一个非常好的不同点。与Sophia一起合拍的机会要少得多,但如果你真的想要,你仍然可以做到。

最后,我喜欢我们在不限制其表现力的情况下创造出了一种更安全的语言!

您对此技术有何建议?

这个行业充满了偏执的人: 一旦看到任何他们不完全理解的东西, 很快就会称之为骗局的人。可能有充分的理由,已经有太多狡猾的项目了。但我的建议是深呼吸三次,确保你理解你在看什么,然后自己做出决定。

在工作之外,朋友怎么形容你的个性?

有些朋友会说我对足球有点过分了,但很高兴不时地能专注于一些非技术性的东西。;)

原文链接:https://blog.aeternity.com/syntax-scams-and-solidity-an-interview-with-hans-svensson-ef666fae2d58 翻译:金刚狼 核对:Penny (感谢!)