函數(shù)式編程語(yǔ)言F#:基于CLR的另一個(gè)頭等編程語(yǔ)言
近幾年來(lái)，編程語(yǔ)言的一個(gè)重要的主題已經(jīng)轉(zhuǎn)向函數(shù)式編程的觀念。
諸如C#中的lambda表達(dá)式和.NET 2.0中的范型等語(yǔ)言特性都源于函數(shù)式語(yǔ)言，而LINQ更是直接基于函數(shù)式編程技術(shù)。通過(guò)LINQ和Parallel FX，函數(shù)式語(yǔ)言的想法正幫助我們解決當(dāng)今業(yè)界所面臨的最大挑戰(zhàn)：從防止數(shù)據(jù)和對(duì)象之間的錯(cuò)誤匹配，到多核與并行計(jì)算領(lǐng)域所帶來(lái)的挑戰(zhàn)。
微軟研究院已經(jīng)著手在一些項(xiàng)目中研發(fā)這些關(guān)鍵技術(shù)中幾個(gè)技術(shù)。MSR目前所研發(fā)的很有前途的項(xiàng)目之一就是由Don Syme帶領(lǐng)的F#編程語(yǔ)言。F#起源于函數(shù)式編程的傳統(tǒng)（因此是“F”）。雖然它也從C#，LINQ和Haskell中獲取了經(jīng)驗(yàn)，但它也深深地植根于ML家族的語(yǔ)言。從一開(kāi)始，F(xiàn)#就被設(shè)計(jì)成.NET家族的一等公民。這意味著F#是運(yùn)行在CLR之上的，包含面向?qū)ο蟮木幊蹋⒋_保了和.NET框架的平穩(wěn)集成。（51CTO之前的相關(guān)報(bào)道：微軟計(jì)劃在開(kāi)發(fā)平臺(tái)集成F#語(yǔ)言）
我是技術(shù)在研究組織和產(chǎn)品開(kāi)發(fā)組織之間轉(zhuǎn)移的狂熱追求者。正因?yàn)檫@樣的技術(shù)轉(zhuǎn)移，我們才能夠?qū)⒑芎玫难芯肯敕ā爱a(chǎn)品化”，并及時(shí)的交付給客戶。這是微軟從15年前創(chuàng)立微軟研究院至今發(fā)生的最好的事情之一。現(xiàn)在我們有了另一個(gè)技術(shù)轉(zhuǎn)換的例子。我們將與Don Syme以及微軟研究院的其他人一起合作，將F#語(yǔ)言完全集成進(jìn)Visual Studio，并繼續(xù)對(duì)F#進(jìn)行創(chuàng)新和改進(jìn)。我認(rèn)為，F(xiàn)#是基于CLR的另一個(gè)頭等編程語(yǔ)言。
有幾方面的因素激發(fā)了我們對(duì)F#的興趣。正如我先前所提到的，我們旨在把這樣好的想法從函數(shù)式編程的世界延續(xù)至主流的開(kāi)發(fā)。此外，函數(shù)式編程有些數(shù)學(xué)傾向，這似乎很自然的吸引了那些用數(shù)學(xué)符號(hào)表述關(guān)鍵領(lǐng)域的專業(yè)人士，這些領(lǐng)域包括金融、科學(xué)和技術(shù)運(yùn)算。強(qiáng)類(lèi)型系統(tǒng)所帶來(lái)的一些保障是它語(yǔ)法上最大的吸引力。這些保障在以上這些領(lǐng)域中常常會(huì)很關(guān)鍵，而且還能通過(guò)Visual Studio帶來(lái)極好的工具體驗(yàn)。
另一個(gè)動(dòng)機(jī)是進(jìn)行不斷的投資，使.NET框架成為學(xué)術(shù)領(lǐng)域的不錯(cuò)選擇?，F(xiàn)在，世界上許多計(jì)算機(jī)科學(xué)專業(yè)教授函數(shù)式編程語(yǔ)言。我們相信，通過(guò)F#和諸如IronPython、IronRuby之類(lèi)的語(yǔ)言，我們能為學(xué)生和教育工作者們提供當(dāng)前主流之外的其他選擇，并且能在課程中使用這些語(yǔ)言。這一點(diǎn)為教育工作者提供了一個(gè)選擇，使他們能在不同的課程中使用Visual Studio作為其一致的工具集。
51CTO編者：函數(shù)式編程這一概念的出現(xiàn)已經(jīng)有了好幾個(gè)年頭，但是到目前為止，在開(kāi)發(fā)者中間仍然不太受歡迎。有評(píng)論說(shuō)函數(shù)式概念太復(fù)雜，“似乎只有拿著博士學(xué)位的人才玩得轉(zhuǎn)”；也有人對(duì)其贊賞不已，認(rèn)為這種編程風(fēng)格大大的簡(jiǎn)化了代碼，令編碼過(guò)程更加清晰。除了F#之外，Scala語(yǔ)言也是一個(gè)比較廣泛為人所知的函數(shù)式編程語(yǔ)言，有興趣了解的讀者可以參考51CTO的Scala編程語(yǔ)言專題。
【相關(guān)閱讀】
