为什么scala有时会自动应用thunks?

刚过2:40英寸 ShadowofCatron 的 Scala Tutorial 3 video ,它指出 名称后的括号 thunk 是 可选择的 . "布赫?”我的功能编程大脑说,因为一个函数的值和它在应用时评估的值是完全不同的。

所以我写了下面的文章来尝试一下。我的思考过程在评论中有描述。

object Main {

    var counter: Int = 10
    def f(): Int = { counter = counter + 1; counter }

    def runThunk(t: () => Int): Int = { t() }

    def main(args: Array[String]): Unit = {
        val a = f()     // I expect this to mean "apply f to no args"
        println(a)      // and apparently it does

        val b = f       // I expect this to mean "the value f", a function value
        println(b)      // but it's the value it evaluates to when applied to no args
        println(b)      // and the application happens immediately, not in the call

        runThunk(b)     // This is an error: it's not println doing something funny
        runThunk(f)     // Not an error: seems to be val doing something funny
    }

}

为了澄清这个问题,这个方案程序(以及下面的控制台转储)显示了我期望scala程序做什么。

(define counter (list 10))
(define f (lambda ()
            (set-car! counter (+ (car counter) 1))
            (car counter)))

(define runThunk (lambda (t) (t)))

(define main (lambda args
               (let ((a (f))
                     (b f))
                 (display a) (newline)
                 (display b) (newline)
                 (display b) (newline)
                 (runThunk b)
                 (runThunk f))))

> (main)
11
#<procedure:f>
#<procedure:f>
13

我来到这个网站询问这个问题后,偶然发现 this answer 它告诉我如何修复上面的scala程序:

    val b = f _     // Hey Scala, I mean f, not f()

但只需要下划线“hint” 有时 . 当我呼唤 runThunk(f) ,不需要提示。但当我用A“化名”F到B时 val 然后应用它,它不起作用:应用程序发生在 瓦尔 甚至 lazy val 以这种方式工作,所以这不是导致这种行为的评估点。

这一切留给我的问题是:

为什么斯卡拉 有时 评估时自动应用thunk?

我怀疑这是类型推理吗?如果是的话,类型系统不应该远离语言的语义吗?

这是个好主意吗?scala程序员是否应用thunk而不是引用其值? 更多的时候 使parens可选总体上更好?

在R5RS中使用scala 2.8.0rc3和drscheme 4.0.1编写的示例。