单一作业的目的是什么？ [英] What is the purpose of single assignment?

问题描述

我目前正在努力掌握Erlang。这是我研究的第一种函数式编程语言，我注意到在Erlang中，您所做的每个赋值都是单个赋值。显然，不仅在Erlang中，而且在许多其他函数式编程语言中，赋值都是通过单一赋值来完成的。

我真的不明白他们为什么要做这个。单项作业的目的究竟是什么？我们能从中得到什么好处？

推荐答案

不变性(您称之为单一赋值)简化了很多事情，因为它从您的程序中去掉了&q；time&q；变量。

例如，在数学中，如果您说

  x = y

您可以在任何地方将x替换为y。在操作型编程语言中，您不能确保这个等式成立：每行代码都有一个"；time"；(State)与之关联。此时间状态还为不需要的side effects敞开大门，这是模块性和并发性的头号敌人。

有关详细信息，请参阅this.

这篇关于单一作业的目的是什么？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！