LAMBDA函数再升级：ETA REDUCED LAMBDA

shaowu459

近期，微软更新了3个Excel工作表函数，分别是GROUPBY函数、PIVOTBY函数和PERCENT OF函数。同时，也对LAMBDA函数进行了升级和优化，也即ETA REDUCED LAMBDA（η精简的LAMBDA）。


η-REDUCTION（η是希腊字母表中第七个字母，REDUCTION一般翻译为约简或归约），读作艾塔或者伊塔约简，是在函数式编程中的一种重要概念。关于它的严谨概念我们不必深究，可以把它简单理解为一种"压缩"或"简化"的机制。在λ（希腊字母表中排序第十一位的字母，也即LAMBDA）演算中，由于一些函数可能会进行非常复杂的运算，导致其表现形式过于繁琐和复杂。这时，我们就可以利用η-约简的方法，"去掉"函数体内的一些对结果没有影响的计算步骤，从而使得这个函数变得更为简洁。

微软在此次更新时借鉴了这种约简方法，简化了LAMBDA函数的书写方式。例如，我们看以下的表达式：


LAMBDA(x, SUM(x))或LAMBDA(x, COUNTA(x))

上述LAMBDA函数中的SUM和COUNTA函数仅对参数x简单执行求和或计数运算，这些情况下Excel在此次更新之后可以直接使用SUM或COUNTA替换之前LAMBDA函数部分的书写。


以BYROW函数举例，之前按每行求和的写法如下：


现在，我们可以这样写，使用SUM替换掉整个LAMBDA函数部分：

1. =BYROW(B15:E22,SUM)

复制代码

原则上，所有的工作表函数都可以看做是一个η-约简了的LAMBDA函数写法，都可以使用上述方法直接调用，只要保证执行函数默认操作行为时提供的参数能满足函数参数要求。

shaowu459

一、关于支持的函数


在GROUPBY、PIVOTBY、BYROW等函数中输入到function参数时，函数会提示默认支持的一些简写函数（都稍有不同）：




这些默认提示支持的简写函数总结一下是下面几个：


但在REDUCE、MAP等函数输入到LAMBDA函数部分时，并不会提示默认函数列表：


虽然不提示，但是这种简写方式仍然是支持的，只要前面参数的输入能保证简写函数的参数要求。

shaowu459

（接上楼）我们来随便观察几个默认支持的函数。
对每行数据求和运算：



对每行的数据进行合并：



求每行数字中重复出现次数最多的数字：


观察这些函数的参数要求：



之所以BYROW函数的LAMBDA函数运算题部分可以用这些函数名称简化书写，是因为BYROW函数提供的参数x（也即每一行的数据）符合后面这些函数的参数要求，直接作为一个数组参数执行后面SUM等函数的默认运算行为。


TEXTJOIN函数默认是不支持的：


因为TEXTJOIN函数需要分隔符、是否忽略空值及待合并的字符这些参数，BYROW函数提供的x一个数组不满足参数要求。



如果为TEXTJOIN函数提供了足够且正确的参数，那么TEXTJOIN函数也可以使用这种简写方法（没有什么意义，只是用来说明）。例如使用MAP函数的多参数用法：

1. =MAP(G73:G80,H73:H80,OFFSET(A72:E72,ROW(1:8),),TEXTJOIN)

复制代码

我们手动输入或使用公式生成一列分隔符及一列1作为MAP函数的前两个参数，使用OFFSET函数提取原数据的每行，最后LAMBDA函数运算题部分不需要写LAMBDA(x,y,z这种，直接写一个TEXTJOIN也可以完成合并运算。

shaowu459

二、此次更新后，工作表函数的调用和Python中的函数调用方法就非常相似了，可以指定变量名，替代原函数名。


例如，使用LET函数将SUM指定为fx，直接使用fx即执行SUM函数运算：

1. =LET(fx,SUM,fx(B87:E87))

复制代码

当然，你也可以多次指定，再将gx指向fx，则gx执行SUM函数一样的运算：

1. =LET(fx,SUM,gx,fx,gx(B87:E87))

复制代码

也即：函数名都可以进行指定和替换，不仅仅限于上面举的简单例子，但还是建议使用常规函数名称为好，不要进行复杂指定，避免公式可读性变差。

咔咔乱坠

shaowu459 发表于 2024-1-18 15:42
二、此次更新后，工作表函数的调用和Python中的函数调用方法就非常相似了，可以指定变量名，替代原函数名。 ...

感谢超人老师分享，十分有用！！！
（且提一句，有些追求防御性编程的人说不定会故意追求可读性变差，将变量多次指定，再将gx指向fx）

shaowu459

三、简写后的函数名，可以作为LAMBDA函数的参数传递运算方式。

例如在定义一个LAMBDA函数执行求和运算时，可以如下定义：

1. =LAMBDA(x,x(B101:E108))(SUM)

复制代码

SUM作为参数x传递进LAMBDA函数体部分运算。同样的，还可以使用其他函数：



还可以正常传入多个参数，函数名作为参数之一：

1. =LAMBDA(x,y,x(y))(SUM,B101:E108)

复制代码

但在使用这种方式时会有bug，群里冬佬提出的：

1. =LAMBDA(x,y,z,x(z)-y(z))(MAX,MIN,B101:E108)

复制代码

上面的公式返回错误值，但是在LET一下后，返回值正常：

1. =LAMBDA(x,y,z,LET(s,x(z),t,y(z),s-t))(MAX,MIN,B101:E108)

复制代码

BUG产生的原因目前不清楚，不知道以为微软会不会修复。但是错误值上有一些规律，随便做了一些测试，有兴趣的可以看下（不用深究，再怎么总结出错误值出现的规律也没有任何用处）。
单独返回一个值，正常：



以下搭配LET函数之后前两种返回正常，但第三种异常：




再来看一组测试，交换两个返回值的位置：




还可以做更多的测试，最后从现象上看，感觉是传递多个函数运算时，返回值的个数是够的，但是正确的返回值是从最右侧开始，只返回了最右边一半数量的正确结果，结果从右往左以：正确值+错误值+正确值+错误值……的方式返回：

1. =LAMBDA(x,y,z,f,g,d,HSTACK(x(d),y(d),z(d),f(d),g(d)))(MAX,MIN,AVERAGE,SUM,MEDIAN,B101:E108)

复制代码

shaowu459

四、可以使用IF函数或其他函数将比如一个SUM简写扩展成多行、多列。

例如，对下图中每行的Q1和Q2两个数据进行求和，也可以使用MAP函数（仅仅为示例构造用法，无实际意义。在GROUPBY等函数中会有实际应用）：

1. =MAP(IF(ROW(1:8),SUM),OFFSET(B113:C113,ROW(1:8),),LAMBDA(x,y,x(y)))

复制代码

在上面的公式中，使用IF函数将单个SUM扩展为一列8行的SUM，作为MAP函数的第一参数，第二参数为OFFSET生成的多维引用，在LAMBDA函数部分使用x(y)即可进行对每行Q1和Q2两个数字的求和运算。


另外，可以复习一下前面楼层提到的指定变量名的方式，指定SUM为fx，直接调用fx执行求和运算：

shaowu459

五、不同的函数名称可以使用HSTACK函数、VSTACK函数进行堆叠，在GROUPBY等函数中有实际应用。

例如，下面的公式中使用VSTACK函数将函数名纵向堆积可以对一个数据源执行多种维度的统计运算并且纵向输出结果：

1. =MAP(VSTACK(SUM,COUNT,MAX,MIN,AVERAGE),LAMBDA(x,x(B127:E134)))

复制代码

同样的，也可以使用HSTACK函数横向输出：

1. =MAP(HSTACK(SUM,COUNT,MAX,MIN,AVERAGE),LAMBDA(x,x(B127:E134)))

复制代码

edwin11891

感觉步子迈得有些大，导致编程函数可读性会越来越差，越来越难理解。

yuppice

超人老师永远走在最前沿