foo和foo()

NTL01

不入门Python是不可能不入门的，还不如先连连基本的字符串和运算操作，为数据清理搬砖积累点经验和微小技能。

今天学到Functions as Objects [Introduction to Computation and Programming Using Python, John V.Guttag 2013版]。竟然发现了一个跟R语言里类似的情况，Lexical Scope里的foo和foo()的区别
涉及的代码：

def applyToEach(L,f):
    for i in range(len(L)):
        L[i]=f(L[i])

L=[1,-2,3.33]
applyToEach(L,abs)
print(L)

书上本意是演示“函数本身以对象形式作为参数传递”的情况，f(l[I])是f（函数）后面加了参数框（），所以如果f本身就有括号，比如abs()，就应该输入去掉括号的形式，abs。

这个以及之后的int（转换成整数）照书输入没注意到，蒙混过关，但接下来我自己使用math.factorial()则出问题了

#此时L内的元素都已经转换成整数了
import math
applyToEach(L,math.factorial())
print(L)
---------------------------------------------------------------------------

TypeError                                 Traceback (most recent call last)

<ipython-input-20-08858b6cb9e2> in <module>
      1 import math
----> 2 applyToEach(L,math.factorial())
      3 print(L)
      4 

TypeError: factorial() takes exactly one argument (0 given)

解释器报错说factorial()的参数出了问题，应该是正好1个，结果输入的是0个。

正确操作是删去（），就变成了applyToEach(L,math.factorial) 。

讨论：一个方法（函数）可以带括号也可以不带，括号是用于控制参数的，这个方法能不能正常运行只有在解释之后实时运行时才知道，这是Python和R的特质，估计也是很多其他动态语言如Ruby、Javascript的特征「请指正」。静态语言需要编译，编译之前（而不能等到运行时）需要确定方法/函数的返回类型因此都是用括号指明参数的（0到多个）。

Java不允许讲方法作为参数传递，但可以通过lamda表达简化相关语句。我暂时还没遇到lamda表达恰到好处的例子，看了几个演示性的例子觉得要么导致逻辑不够清晰降低了可维护性要么不易理解。

hsxfjames

我猜你提到的语言都有「表达式」这个概念，所以你传的是表达式的值，而不是函数带不带括号的问题。

我们定义一个可变元组来表示一个 JS 函数，记 <function, foo, a, b> 代表一个函数，函数名为 foo ，它接受两个参数，参数名分别是 a 和 b 。

function foo() {}
foo // 这是一个表达式，它的值是 <function, foo> 即一个函数
foo() // 这是一个表达式，它的值是 undefined 即函数执行后的返回值

所以你看，根本不存在带了括号还是不是函数的问题，带了括号就代表你希望这个表达式取执行函数后的值。

当然也可以存在带了括号，整个表达式的值仍是个函数的情况，返回一个函数就行：

function foo() {
    return function bar() {
        return 'bar'
    }
}

console.log(foo) // 输出一个函数，按上面的定义记为 <function, foo>
console.log(foo()) // 输出一个函数，按上面的定义记为 <function, bar>
console.log(foo()()) // 输出一个字符串 'bar'
console.log(foo()()()) // 运行时异常，因为字符串 'bar' 不是一个函数，不可执行

如果你说的是上面这个运行时异常的问题，本质上不是动态语言的问题，而是弱类型语言的问题。如果我给 JS 加上类型变成 TS ：

function foo(): Function {
    return function bar(): string {
        return 'bar'
    }
}

foo()()() // 编译期异常， string 类型的值不是一个函数

而 TS 并没有改变 JS 的本质，它也是个动态类型的，允许声明联合类型：

let strOrNumValue: string | number = 0
strOrNumValue = Infinity
strOrNumValue = NaN
strOrNumValue = 'hello world' // 没问题

NTL01

hsxfjames 感谢喵耳仔的评论:::

后半段如果我没理解错的话，TS进行类型检查的强度大于JS，运行异常的抛出方式在string不是函数—数据类型层面，从这一个角度可以窥见它更"safe"。

Python虽然比C族和Java弱类型，但应该比JS强了很多，要不然怎么列为强类型的呢？

另一个思考是貌似没有静态弱类型的语言，stackoverflow上有个回答用C类型转换尺度比Java大(char可转int)来比拟，但答主自己也承认不妥。

我对编程语言本身有很强兴趣，但这个兴趣侧重如何理解好用好编程语言解决实际问题，比如Lisp/Scheme的prefix notation可能和某些计算有关但在9102年计算能力已大大增强不必太考虑底层问题情况下有些老的精巧设计就可以不用了，Skill就推荐新手用C型句法。回到我这个帖子呢，我谨自己提醒句法要为具体(广义)计算任务服务，项目管理(多人协作—可读性、可维护性)作为前提。