考虑一个两数相加的sum函数,sum(x,y)=x+y,我们引入一个点运算符,做一个函数调用的变化,像面向对象编程一样,有x.sum(y),在编程实践当中点运算符可以通过IDE的静态分析获得其对象相关的所有函数!因此我们可以得到当x.打出的时候,IDE自动帮我们获取所有以x的类型为第一个参数的函数。
至于为什么是第一个参数,考虑柯里化sum函数, sum(x, y)即为sum(x,y) = lambda x -> lambda y -> x +y
至于为什么是第一个参数,考虑柯里化sum函数, sum(x, y)即为sum(x,y) = lambda x -> lambda y -> x +y