【CSDN 編者按】有點雷人，Excel 不僅僅是辦公軟件，還是編程語言……言歸正傳，Excel 作為編程語言還存在一些不足。為了彌補這些缺陷，Excel 團隊與微軟劍橋研究院建立了長期合作關系。好消息接連傳來…… 作者 | Andy Gordon 譯者 | 彎月 出品 | CSDN（ID：CSDNnews） 微軟的 Excel 幾乎是家喻戶曉的辦公軟件，它也是世界上使用最廣泛的編程語言。編寫 Excel 公式的用戶甚至超過了 C、C++、C#、Java 和 Python 程序員的總和。盡管 Excel 取得了巨大的成功，但作為一種編程語言它仍然有一些基本的弱點，其中最突出的兩大弱點是：
為了解決這兩個問題，微軟劍橋研究院與 Excel 團隊建立了長期合作關系，致力于將電子表格公式轉換為成熟的編程語言。二者合作的成果逐步出現(xiàn)在產(chǎn)品中。在 2019 年 ACM SIGPLAN 編程語言原理研討會（POPL 2019）上，微軟宣布了兩項重大進展：Excel 的數(shù)據(jù)類型不再限于文本和數(shù)字，允許單元格包含原生記錄類型，包括鏈接到外部數(shù)據(jù)的實體以及動態(tài)數(shù)組（允許普通公式計算整個數(shù)組，結果溢出到相鄰單元格中）等。這些變化都是為了解決第一個問題，即在 Excel 中建立豐富的、完整的、原生的結構化數(shù)據(jù)。 2020 年 12 月，微軟發(fā)布了 LAMBDA，允許用戶通過 Excel 的公式語言編寫新函數(shù)，這可以直接解決第二個問題。這些新定義的函數(shù)可以調用其他的 LAMBDA 函數(shù)，深度不限，甚至可以遞歸。有了 LAMBDA 后，Excel 已具備圖靈完備性。理論上來說，你可以使用 Excel 公式語言編寫任何計算。現(xiàn)在，加入 Insiders:Beta 計劃的用戶已經(jīng)可以使用 LAMBDA 了。在 2021 年的 POPL 大會上，微軟的視頻中討論了 LAMBDA 以及電子表格的一些研究。  LAMBDA 的功能研究人員都知道自 1960 年代以來，邱奇的 lambda 表示是很多編程語言的基礎，因此，它本身就是一種富有表現(xiàn)力的編程結構。融合 lambda 為 Excel 帶來了一次從量變到質變的提升。 為了說明 LAMBDA 強大的功能，下面我們使用這種表示法編寫一個函數(shù)，計算直角三角形的斜邊長： =LAMBDA( X, Y, SQRT( X*X+Y*Y ) ) LAMBDA 是 2020 年 3 月發(fā)布的 LET 的補充，因此，這個示例也可以寫成下面這樣： =LAMBDA( X, Y, LET( XS, X*X, YS, Y*Y,SQRT( XS+YS ) ) ) 這個函數(shù)有兩個參數(shù)：X 和 Y。函數(shù)的功能是將 X*X 的值綁定到 XS 中，Y*Y 的值綁定到 YS，結果返回 SQRT(XS+YS )。 我們可以利用 Excel 中已有的命名管理器，為這個公式命名。如果我們?yōu)樵摵瘮?shù)取名 PYTHAGORAS，則 PYTHAGORAS(3,4)的結果就等于 5。在完成命名后，你可以通過函數(shù)名調用函數(shù)，因此也就不需要重復整個公式了。 而且，LAMBDA 就是那個我們熟知且喜愛的lambda：lambda 可以是另一個lambda 的參數(shù)或者結果；你可以定義邱奇數(shù)；lambda 可以返回 lambda，所以也可以實現(xiàn)柯里化；使用 LAMBDA 定義不動點組合子，進而編寫遞歸函數(shù)；等等。（此外，lambda 也可以擁有函數(shù)名，因此它們可以直接遞歸調用自己，這比使用不動點組合子要方便得多。）  遞歸調用：反轉字符串和不動點組合子反轉字符串不屬于 Excel 的內置功能，以前只能使用 Visual Basic 或 JavaScript 等語言編寫。在下圖中，REVERSE 是一個遞歸 LAMBDA，它使用一對輔助函數(shù) HEAD 和 TAIL，分別獲取第一個字符以及除第一個字符以外的所有字符。  即便不依靠遞歸定義的名稱，Excel 的公式語言也是圖靈完備的，因為我們可以使用傳統(tǒng)的按值調用不動點組合子，對遞歸函數(shù)定義進行編碼。實際上，在 Excel 代碼庫中，運行這種組合子也是 LAMBDA 早期的壓力測試之一。下圖定義了一個階乘函數(shù)。   下一步的計劃我們還有很多計劃。近期內即將發(fā)布的還有可嵌套的數(shù)組，以及更有效的處理數(shù)組的組合子，比如 MAP 和 REDUCE，這些組合子可以將lambda函數(shù)作為參數(shù)。除此之外，我們還希望不僅可以通過公式來定義函數(shù)，而且還可以利用整個工作表來定義函數(shù)，即所謂的工作表定義函數(shù)，甚至是彈性工作表定義函數(shù)。實際上，工作表定義的函數(shù)遵循的是常見的電子表格設計，用戶可以通過分布在多個單元格上的多個公式來定義更大的函數(shù)。  社區(qū)的回應只有當用戶能夠輕松、有效地使用某種編程語言，才能說這種語言取得了成功。有些人可能認為 LAMBDA 只適合編程語言愛好者，但對于最終用戶來說太難了。在發(fā)布 LAMBDA 時，微軟發(fā)動了一場全球規(guī)模的實驗，看看最終用戶是否能夠適應高階函數(shù)的編程。 最初得到的一些反饋很鼓舞人心。12 月，在 LAMBDA 發(fā)布的 24 小時內，我們收到了很多的視頻，包括將數(shù)據(jù)拆分成多列和使用 LAMBDA 和 LET 來創(chuàng)建單個單元格報告的視頻，還有一些博客帖子，包括計算軸刻度等，社區(qū)提供了很多我們從未想到的應用 LAMBDA 的方式。 此外，雖然編寫 lambda 需要專業(yè)的技能和知識，但調用 lambda 并不需要高端的技術。技術人員可以利用 LAMBDA 擴展 Excel，編寫特定于應用程序的函數(shù)，而他們的同事則可以直接在 Excel 中調用這些函數(shù)。 我們期待，用戶進行各種實驗，不僅是 LAMBDA，還有數(shù)據(jù)類型和動態(tài)數(shù)組。我們相信這些新的函數(shù)式編程功能將改變人們使用 Excel 做決策的方式。 參考鏈接：https://www.microsoft.com/en-us/research/blog/lambda-the-ultimatae-excel-worksheet-function/ |
|
|
