跟大神聊天是很開(kāi)心的。這不是因?yàn)槲壹?dòng)，而是因?yàn)榇笊裾f(shuō)出來(lái)的每一個(gè)字都是有價(jià)值的，一針見(jiàn)血，毫無(wú)廢話。至于為什么說(shuō)又，當(dāng)然是這種事情以前發(fā)生過(guò)。

第一次是在高中認(rèn)識(shí)了龔敏敏。那個(gè)時(shí)候我剛做完那個(gè)傻逼的2D ARPG不久，龔敏敏已經(jīng)是M$RA的實(shí)習(xí)生了，圖形學(xué)上的造詣肯定要比我高許多，其中的差距構(gòu)成了大神跟菜鳥(niǎo)的關(guān)系。當(dāng)然現(xiàn)在我盡管中心已經(jīng)放在了程序設(shè)計(jì)語(yǔ)言（programming language，以下簡(jiǎn)稱PL）上，但是還知道一些圖形學(xué)的內(nèi)容，跟龔敏敏的差距自然也已經(jīng)縮小到了不構(gòu)成大神和菜鳥(niǎo)的關(guān)系的程度了。盡管他還是比我多知道很多東西。

第二次是在大學(xué)的時(shí)候認(rèn)識(shí)了g9yuayon。g9菊苣是做形式化和證明的，自然也知道很多PL的事情。那應(yīng)該是我大二的時(shí)候，在CSDN上偶然發(fā)現(xiàn)了g9菊苣的博客，覺(jué)得文章寫的很好，就順便把博客上面的email“密碼”給破了之后發(fā)email給他。后來(lái)g9菊苣告訴了我很多諸如在哪里可以獲得知識(shí)的事情，于是我也就做了PL。盡管現(xiàn)在已經(jīng)很少跟g9菊苣聯(lián)系了，不過(guò)我感覺(jué)目前我跟g9的差距應(yīng)該還屬于大神跟菜鳥(niǎo)的關(guān)系，因?yàn)樗芫靡郧皩懙牟┛臀叶歼€不能完全搞明白。

第三次就是今天的事情了。大家都知道最近我在寫一個(gè)《如何設(shè)計(jì)一門語(yǔ)言》的系列文章。這個(gè)系列文章肯定是會(huì)繼續(xù)寫下去的，因?yàn)槲业恼Z(yǔ)言都還沒(méi)做出來(lái)。所以可以很明顯地看出來(lái)，我現(xiàn)在也在做一個(gè)語(yǔ)言。這跟王垠的那個(gè)one當(dāng)然是不一樣的，因?yàn)槲覐囊婚_(kāi)始就沒(méi)打算代替所有東西，而且目標(biāo)也很明確，就是把它做成跟C++/C#一樣，菜鳥(niǎo)可以很容易上手寫出清晰易懂的代碼，大神也可以在里面挖掘出很多奇技淫巧。于是我不可避免的就遇到了CPS的問(wèn)題。

大家都知道C#有yield和await兩個(gè)關(guān)鍵字，F(xiàn)#也有computation expression。于是我就在想，如果yield和await不是關(guān)鍵字，而是一個(gè)函數(shù)，會(huì)發(fā)生什么事情。展開(kāi)來(lái)講，就是如果要讓程序員自己實(shí)現(xiàn)一個(gè)為特定目的服務(wù)的CPS變換，那我的語(yǔ)法要怎么做。對(duì)于沒(méi)有怎么設(shè)計(jì)過(guò)程序語(yǔ)言的人來(lái)說(shuō)，“設(shè)計(jì)一個(gè)語(yǔ)法”這種事情其實(shí)是很容易被誤解的。語(yǔ)法并不是說(shuō)要在這里放一個(gè)括號(hào)，在那里放一個(gè)關(guān)鍵字，在別的地方還能省略一個(gè)什么東西（瞧瞧go抄了javascript那個(gè)屎一樣的分號(hào)省略策略）。這些都屬于品味的問(wèn)題。品味是不需要設(shè)計(jì)的，那是靠感覺(jué)的，是一種藝術(shù)。只要你拿出來(lái)覺(jué)得漂亮，那就是好的。真正需要思考的東西是什么，那自然是圍繞早上面的類型系統(tǒng)了。

我用通俗易懂的方法來(lái)解釋一下，什么是類型系統(tǒng)，或者說(shuō)在我們這些做PL的人看來(lái)，眼中的程序大概是什么樣子的。我們拿一個(gè)C#的異步程序來(lái)說(shuō)，其實(shí)也就是上一篇文章講的那個(gè)例子了。

async void button4_Click(object sender, EventArgs e)
{
    try
    {
        string a=await Http.DownloadAsync(url1);
        string b=await Http.DownloadAsync(url2);
        textBox1.Text=a+b;
    }
    catch(Exception ex)
    {
        textBox1.Text=ex.Message;
    }
}

大家都很熟悉吧。如果這個(gè)這么簡(jiǎn)單的程序還看不懂的話，那肯定是沒(méi)有認(rèn)真閱讀我的《如何》系列。好了，現(xiàn)在開(kāi)始來(lái)講，做PL的人到底是如何看待這個(gè)程序的呢：

async void button4_Click(Object, EventArgs)
{
    try
    {
        String=await (String -> Task<String>) (String);
        String=await (String -> Task<String>) (String);
        (TextBox -> String -> Void#TextBox.Text) (TextBox, String + String);
    }
    catch(Exception)
    {
        (TextBox -> String -> Void#TextBox.Text) (TextBox, (Exception -> String#Exception.Message) (Exception));
    }
}

嗯，差不多就是這個(gè)樣子。這個(gè)函數(shù)究竟是下載一個(gè)盜版小說(shuō)，還是下載一個(gè)帶節(jié)操的日本電影，究竟是同步下載，還是異步下載，是下載到一個(gè)文件夾，還是下載到skydrive——關(guān)我屁事！我只看這里關(guān)于類型的部分。

所以，如果await是一個(gè)函數(shù)的話，那他應(yīng)該是什么類型？如果yield也是一個(gè)函數(shù)，那他應(yīng)該是什么類型？如果這門語(yǔ)言讓程序員來(lái)創(chuàng)建屬于自己的await和yield甚至是他自己的想要的計(jì)算，那我應(yīng)該如何做一個(gè)框架讓他往里面套，或者他寫出來(lái)的這個(gè)函數(shù)究竟要在什么上下文里面滿足什么樣的一個(gè)類型的關(guān)系呢？我最近就一直在想這個(gè)問(wèn)題。

一開(kāi)始我就把目光投向了F#的computation expression，因?yàn)镕#的這個(gè)東西就具有我想要的一切功能。后來(lái)我想把這個(gè)功能搬進(jìn)來(lái)的時(shí)候，發(fā)現(xiàn)怎樣都套不上。當(dāng)然我很快就發(fā)現(xiàn)了，這其實(shí)是因?yàn)镕#歸根結(jié)底還是一個(gè)函數(shù)是語(yǔ)言，他是不能在一個(gè)for循環(huán)里面寫break、continue或者return的。F#的一個(gè)for循環(huán)，永遠(yuǎn)是一個(gè)完美的for循環(huán)。但是我的語(yǔ)言是可以的，于是這樣在類型上就不完美了——不過(guò)這是小事，犧牲一點(diǎn)點(diǎn)完美換來(lái)易用性是值得的。當(dāng)然，犧牲很多完美來(lái)滿足易用性，我覺(jué)得是不值得的。

既然for循環(huán)里面可以帶break/continue/return，那么“我的computation expression”的For函數(shù)，就不能是類似于IEnumerable<T>->(T->M<U>)->M<U>這種純粹的東西了。那我應(yīng)該怎么做呢？

寫到這里，我覺(jué)得在微軟工作就是好啊。關(guān)于編程語(yǔ)言領(lǐng)域的很多改進(jìn)其實(shí)都是從微軟這里做出來(lái)的。通俗的部分，看看完美的C#，看看ASP.NET MVC的razor模板在Visual Studio里面的智能提示的功能——這可是一個(gè)可以混合HTML+CSS+Javascript+C#的代碼，寫的時(shí)候絲般順滑，行云流水，儼然這四門語(yǔ)言就是一門語(yǔ)言一樣。在學(xué)術(shù)上，微軟的各個(gè)研究院也貢獻(xiàn)了相當(dāng)多的東西——不過(guò)我覺(jué)得你們對(duì)這些應(yīng)該是不感興趣的，盡管你們?cè)趌inux上面也用了很多微軟的成果。

那這能說(shuō)明什么問(wèn)題呢？這就意味著，我可以隨時(shí)access到微軟做編程語(yǔ)言的大神們，抓他們來(lái)問(wèn)問(wèn)題。不過(guò)他們是很忙的，經(jīng)常不在線（我們也有一個(gè)類似QQ這樣子的東西）。不過(guò)今天我隨手打開(kāi)了一下，展開(kāi)了我積累的幾個(gè)大神的組，發(fā)現(xiàn)F#他爹竟然是綠的，于是我隨手就發(fā)了一句hi，看看人家在不在。人家回了我，于是我就開(kāi)始問(wèn)這個(gè)問(wèn)題了。

什么，你不知道F#他爹是誰(shuí)？他當(dāng)然是Don Syme了。寫函數(shù)式語(yǔ)言不認(rèn)識(shí)Don Syme，就猶如讀物理不認(rèn)識(shí)牛頓，讀數(shù)學(xué)不認(rèn)識(shí)柯西，寫C++不知道Bjarne Stroustrup，用操作系統(tǒng)不知道Dave Cutler一樣，要跪著爬回自己學(xué)校里重新讀書。

Don Syme是微軟的Principle Researcher，翻譯過(guò)來(lái)大概就是“頂級(jí)科學(xué)家”的意思吧，很少有更牛逼的東西了。

于是故事到這里就結(jié)束了，因?yàn)镈on Syme大神他很快就回復(fù)我說(shuō)，如果for循環(huán)支持break/continue/return，那我就不應(yīng)該從F#的computation expression里面獲取靈感。至于我的問(wèn)題要怎么辦，這還是個(gè)open question。于是我們愉快的聊天就用下面的一句話結(jié)束了：

Don Syme: Research