Scala有“常规课程”和Fantom有什么障碍？
发布时间：2020-12-16 08:49:55 所属栏目：安全 来源：网络整理
导读：Fantom支持 provably immutable课程.知道一个类是不可变的编译器的优点必须是众多的,其中最重要的是保证在actor之间传递不可变的消息. Fantom的方法似乎很简单 – 它对Scala有什么困难？ 解决方法 Scala方面对跟踪副作用更感兴趣,这比简单的不变性要困难得多
|
Fantom支持
provably immutable课程.知道一个类是不可变的编译器的优点必须是众多的,其中最重要的是保证在actor之间传递不可变的消息. Fantom的方法似乎很简单 – 它对Scala有什么困难？
解决方法
Scala方面对跟踪副作用更感兴趣,这比简单的不变性要困难得多.
不可变性本身并不像参考透明度那样重要,事实上,Scala的一些不可变集合不会通过“经过验证的不可变”测试,因为事实上它们并非如此.就任何人都可以从外部观察而言,它们是不可变的,但是它们具有用于各种目的的可变字段. 一个这样的例子是List的子类::(构成列表中所有内容但是空列表的类),其中head和tail的字段实际上是可变的.这样做是为了使List可以按FIFO顺序有效组合 – 请参阅ListBuffer及其toList方法. 无论如何,虽然保证不变性会很有趣,但这些事情实际上更像是一种默认可变性的语言工具.根据我的经验,在Scala编程时,它并没有成为一个实际问题. （编辑：李大同） 【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容! |