從Lambda語法來探討.NET LINQ的技術底蘊到底在哪裡?
語言整合查詢 LINQ（Language Integrated Query） 世界最高的山叫聖母峰(珠穆朗瑪峰)，而讓主脈看起來偉大神聖的，就是環繞的支線山脈稜線風光，群山烘托出一幅一幅壯絕的美景。.NET的LINQ就像聖母峰主山脈一樣，匯集各項技術才完成整個技術的淬鍊，成就偉業。(此時腦中浮現美隊大喊：Avengers! assemble...) 就在Python、C++、C#、PHP以及Javascript這些語言都支援Lambda語法的當今，還不會寫Lambda的程式人員請考慮移民火星，因為地球越來越危險了。 然後我們不免好奇一件事，究竟Lambda( 發音 )的由來和原理是甚麼，我們只知道使用Lambda可以少寫很多代碼，它可以用來寫匿名函式給Delegate委派、寫Linq必用、能把函式當參數傳、可以inline寫一長串程式碼超爽der...等等神奇又便利的特性，生在現代的程式設計師是不是太幸福了呢? ... 但也許我們就像瞎子摸象故事中那些盲(忙)人一樣，天天盲(忙)著工作，成本和速度儼然主宰了一切，漸漸對技術駕馭無能為力，直到彼此都在用荒謬溝通。 網路上大多是介紹Lambda語法的文章，完整精闢的觀念文缺乏，發現越來越多彼此對Lambda有一些認知上的差距；隨著.NET 的版本不斷演進，C#這個語言已進入一個全新的里程碑，而時下最夯的程式技術詞彙：Lambda 則是引爆一切的原點，究竟Lambda成就了C#，還是LINQ成就了這一切，卻把光環都給了Lambda，就讓我試著來整理這些資料，幫大家系統性的做一個介紹。 從Lambda起源說起 Lambda原本是一套數學邏輯表達式 ： λ演算， 我們先來看維基上的介紹： 「λ演算（英語：lambda calculus，λ-calculus）是一套從數學邏輯中發展，以變數綁定和替換的規則，來研究 函式 如何抽象化定義、函式如何被應用以及 遞迴 的 形式系統 。它由數學家 阿隆佐·邱奇 在20世紀30年代首次發表。lambda演算作為一種廣泛用途的計算模型，可以清晰地定義什麼是一個可計算函式，而任何可計算函式都能以這種形式表達和求值，它能類比單一磁帶 圖靈機 的計算過程；儘管如此，lambda演算強調的是變換規則的運用，而非實現它們的具體...