目标：统计M2单元格所表示的类别中，在第二行指定列的所有可能的分类汇总。

基本函数解释：

例如：

基本函数解释：

例如：

基本函数解释：

在=IFERROR(LOOKUP(0,0/([Range4]=0),[Range3]),"")函数中，LOOKUP用于找到第一个0元素。而根据后面的判定条件，只有Range4中的统计量为0时（0=0，返回True，映射为1，0/1=0）才会返回0，其余均会返回Error。因此根据这个offset在Range3中找到指定的单元格，返回的值就是应当新增进M列的值了。最后的IFERROR函数，是当所有的统计值都统计完成后，会导致LOOKUP找不到0元素了，那么也会抛出Error错误，该函数捕捉这一错误并映射成空字符串即可。

再次说明，这是一个数组公式，因此需要使用Ctrl+Shift+Enter进行公式确认。

如果需要跨表查询，甚至是跨工作簿查询。最高效的处理方式是通过Power Query M进行查找。Excel公式中的每一个查询都要指定好哪张表的哪个单元格，而该语言会动态检索产生的所有工作簿并进行合并。具体的文档可参考：https://learn.microsoft.com/zh-cn/powerquery-m/quick-tour-of-the-power-query-m-formula-language。

注意：该函数与日常语言完全不同，属于函数式语言。在代码过程中，全部的函数都是static的，也就是说，该语言不允许创建任何的对象，所有的对象都必须来源于函数的输出，类似Pipeline的思想。这与面向对象的编程语言差别较大，如果使用过Builder设计模式，或者Javascript的函数闭包，可能会与本语言类似。

首先，所有的写法都应遵循let ... in ...结构。其中，in后面紧跟着输出到Excel的Table，let用于创建函数式流程。

M 是区分大小写的语言。

所有的函数均可查询相关API，基本思路是提取当前工作簿的所有Sheet，并移除第一张表用于放总结信息的表。对其余所有表，创建一个函数该函数用于对上述每张表的数据去除前三行（其中第二行提升为列名），并combine到一张表中。最后，将其中有用的类目进行合并整理得到。

有行有列即为table。

创建Table：Table = #table({字段名},{ {行数据},{行数据} }) – 字段名相当于是行标题 – 行数据，相当于一行的数据

例：A = #table({"产品","数量"},{ {"a",10},{"b",20} })

record就是相当于table中的一行，凡是带[]的都和record有关。

构建Record：Record = [字段名=值]

例：B = [a=1,b=2]

注1：[a=1,b=2,……][a]代表提取记录中a字段名所对应的值。

注2：Record的嵌套：字段值为记录/序列时，就形成了嵌套。

list相当于table中的不带字段名的一列，凡是带{}的都和list有关。

构建List：List = {值}

例1：C = {"a","b"}

例2：D = {1..10}

注：List是有序的，根据索引号找到的值是唯一的。