我正在做关于Scala的Martin Odersky课程,因为Scala的一些基本知识是对我的即将开展的项目的要求。
在最初的一个讲座中,有一个关于评估的替代模型的讨论,并且如果表达没有副作用,它就起作用。现在,我想知道内部Scala是否以某种方式检测代码是否有一些副作用?或者它的引入只是为了说明如果语言中没有副作用可以如何评估呢?
答案 0 :(得分:2)
你所询问的是一个“效果系统”,到目前为止,Scala还没有。当语言包含Scala所做的可变构造时,它们不容易创建。一直有人谈论实施一个,但据我所知,还没有人开始实施。