ElixirConf EU 2018的注释(第一部分)

我们简单商业的很多人都有兴趣manbetx万博安全吗长生不老药它使用起来很有趣，在Erlang中有非常坚实的基础，可以很好地适应我们的一些用例。

为了深入了解Elixir社区和生态系统，去年4月我们带着笔记本电脑飞往波兰华沙ElixirConf欧盟2018年．

这是一系列文章的第一篇，我们将在其中分享会议上一些最有趣的演讲的笔记。

简而言之，长生不老药

Elixir是一种有7年历史的编程语言，建立在32年历史的基础上Erlang运行时。它的语法受到Ruby的很大影响，而语言本身也是功能性的。Elixir代码被编译成在BEAM虚拟机上运行的字节码。生成的字节码与Erlang的字节码没有什么不同，这使得Elixir - Erlang的关系类似于Scala-Java,或c#-［f#．

与Ruby相比，Elixir的一些关键优势如下:

• 它强制执行不变性，使Elixir代码更容易预测和使用
• 它包含了一些现代而强大的语法，包括模式匹配，管道操作符和异步/等待
• 它继承了强大且经过测试的Erlang运行时

基于属性的测试

基于属性的测试是另一种获得Elixir关注的测试方式。其思想是，您的测试将生成随机输入(根据开发人员指定的某些规则)，运行代码并验证输出的有效性(同样，基于规则)。与传统的基于示例的测试相比，基于属性的测试的主要优势在于，它能够发现开发人员没有考虑到的边缘情况。

内置对基于属性测试的支持的好处在于，它使得调查失败变得超级简单。当您的测试失败时，Elixir将尝试将随机生成的输入缩减到最小的可能失败的输入，然后将其作为失败消息的一部分提供。然后，您可以编写一个标准的示例测试并消除错误——或者如果输入应该被认为是有效的，则更改属性测试中的规则。

还将附带Elixir 1.7流。数据这将允许轻松地从提供的构建块构建自定义生成器。

简短的介绍和起源何塞Valim的演讲．

实现细节在安德里亚源的演讲．

CRDTs

在使用不稳定的网络或设备时，有一些关于分布式计算的讨论。我们真的很喜欢使用crdt -带来的可能性无冲突复制数据类型．CRDT本质上是一组定义如何比较和合并值的函数。当您在多个节点上复制数据，但由于某些原因导致节点不同步时，这将非常有用。crdt允许您定义如何以无损的方式将数据同步回去。

这个演讲中有很多理论细节Arkadiusz吉尔．

费尔南多·门德斯为crdt提供了一个实用的(和有趣的)用例。