scheme - Scheme lambda expression in Scheme

Question

Can Some one help explain why

(define gg (lambda (ff x) (ff x x x))

has all of these properties? Thanks

gg requires two arguments when called
gg's first argument should be a function
gg's first argument should be a function that accepts 3 arguments

Answer 1

1. gg是一个有两个参数的 lambda，ff并且x.
2. ff在 lambda 内部的表达式中使用(ff x x x)，因此ff应该是可调用的。
3. 表达式(ff x x x)有三个参数，所以ff应该是一个接受三个参数的函数。