Elixir,没有循环参考可能吗？

Question

我正在学习Elixir,直到第7章PragProg书,在考虑了不变性和其他项目后,我认为通常不可能在Elixir Maps/Tuples/Lists等中创建循环引用.其中A - > B - > C - > A.

没有真正试图欺骗系统,这是真的吗？

Answer 1

由于不变性,有一个鸡蛋问题创建通告.事实上,Elixir没有做任何事情来阻止它; 它只是在不变性内开箱即用.

证明:既然C在你的链条A上创作,A必须提前存在; 因此A,链接B因此B必须存在; B链接C,要求C存在,但尚未创建.QED.

人们不能简单地引用一个未发表的术语^*,也不能修改现有术语,因此,在Elixir中是不可能的.

*_{请阅读有关措辞的评论中的讨论以及Term最终选择的原因.}