摘要： 類型是了解編程語言的重要一環(huán)。就算是你喜歡動(dòng)態(tài)類型語言，為了想實(shí)現(xiàn)一個(gè)靠譜的東西，那也必須了解類型。舉個(gè)簡單的例子，我們都知道+和-是對稱的——當(dāng)然這只是我們的愿望了，在javascript里面，"1"+2和"1"-2就不是一回事。這就是由于不了解類型的操作而犯下的一些滑稽的錯(cuò)誤。什么，你覺得因?yàn)?quot;1"的類型是string所以"1"+2就應(yīng)該是"12"？啐！"1"的類型是(string | number)，這才是正確的做法。了解編程語言的基本原理并不意味著你一定要成為一名編譯 閱讀全文

摘要： 關(guān)于這個(gè)話題，其實(shí)在（六）里面已經(jīng)討論了一半了。學(xué)過Haskell的都知道，這個(gè)世界上很多東西都可以用monad和comonad來把一些復(fù)雜的代碼給抽象成簡單的、一看就懂的形式。他們的區(qū)別，就像用js做一個(gè)復(fù)雜的帶著幾層循環(huán)的動(dòng)畫，直接寫出來和用jquery的“回調(diào)”寫出來的代碼一樣。前者能看不能用，后者能用不能看。那有沒有什么又能用又能看的呢？我目前只能在Haskell、C#和F#里面看到。至于... 閱讀全文

摘要： 人們都很喜歡討論閉包這個(gè)概念。其實(shí)這個(gè)概念對于寫代碼來講一點(diǎn)用都沒有，寫代碼只需要掌握好lambda表達(dá)式和class+interface的語義就行了。基本上只有在寫編譯器和虛擬機(jī)的時(shí)候才需要管什么是閉包。不過因?yàn)橄盗形恼轮黝}的緣故，在這里我就跟大家講一下閉包是什么東西。在理解閉包之前，我們得先理解一些常見的argument passing和symbol resolving的規(guī)則。首先第一個(gè)就是call by value了。這個(gè)規(guī)則我們大家都很熟悉，因?yàn)榱餍械恼Z言都是這么做的。大家還記得剛開始學(xué)編程的時(shí)候，書上總是有一道題目，說的是：void Swap(int a, int b){ in... 閱讀全文

摘要： 跟大神聊天是很開心的。這不是因?yàn)槲壹?dòng)，而是因?yàn)榇笊裾f出來的每一個(gè)字都是有價(jià)值的，一針見血，毫無廢話。至于為什么說又，當(dāng)然是這種事情以前發(fā)生過。第一次是在高中認(rèn)識(shí)了龔敏敏。那個(gè)時(shí)候我剛做完那個(gè)傻逼的2D ARPG不久，龔敏敏已經(jīng)是M$RA的實(shí)習(xí)生了，圖形學(xué)上的造詣肯定要比我高許多，其中的差距構(gòu)成了大神跟菜鳥的關(guān)系。當(dāng)然現(xiàn)在我盡管中心已經(jīng)放在了程序設(shè)計(jì)語言（programming language，以下簡稱PL）上，但是還知道一些圖形學(xué)的內(nèi)容，跟龔敏敏的差距自然也已經(jīng)縮小到了不構(gòu)成大神和菜鳥的關(guān)系的程度了。盡管他還是比我多知道很多東西。第二次是在大學(xué)的時(shí)候認(rèn)識(shí)了g9yuayon。g9菊苣是做形式 閱讀全文

摘要： 我一直以來對于exception的態(tài)度都是很明確的。首先exception是好的，否則就不會(huì)有絕大多數(shù)的語言都支持他了。其次，error code也沒什么問題，只是需要一個(gè)前提——你的語言得跟Haskell一樣有monad和comonad。你看Haskell就沒有exception，大家也寫的很開心。為什么呢？因?yàn)橹灰逊祷貛rror code結(jié)果的函數(shù)給做成一個(gè)monad/comonad，那么... 閱讀全文

摘要： 面向?qū)ο筮@個(gè)抽象的特例總是有說不完的話題，更糟糕的是很多語言都錯(cuò)誤地實(shí)現(xiàn)了面向?qū)ο蟆猚lass居然可以當(dāng)一個(gè)變量類型什么的這只是讓人們寫代碼寫的更糟糕而已。當(dāng)然這個(gè)話題第三篇文章已經(jīng)說過了，現(xiàn)在來談?wù)勅藗兿矚g拿來裝逼的另一個(gè)話題——消息發(fā)送。 按照慣例先來點(diǎn)題外話。說到消息發(fā)送，有些人喜歡跳出來說，objective-c的消息做得多優(yōu)雅啊，代碼都可以寫成一句話[golang screw:you... 閱讀全文

摘要： 其實(shí)我在寫這個(gè)系列的第三篇文章的時(shí)候就已經(jīng)發(fā)現(xiàn)，距離機(jī)器越遠(yuǎn)，也就是抽象越高的概念，坑的數(shù)量是越少的。但是這并不是說，距離機(jī)器越近的概念就越強(qiáng)大或者說越接近本質(zhì)。這是廣大的程序員對計(jì)算理論的一種誤解。大多數(shù)人理解編程的知識(shí)結(jié)構(gòu)的時(shí)候，都是用還原論來理解的，這個(gè)方法其實(shí)并沒有錯(cuò)。但問題在于，“還原”的方法并不是唯一的。很多人覺得，反正你多高級的語言編譯完了無非都是機(jī)器碼嘛。但是還有另一種解釋，你無論多低級的語言編譯完了無非也就是帶CPS變換（continuation passing style）的λ-calculus程序嘛。他們是等價(jià)的，不僅能力上也是，“本質(zhì)”上也是。一個(gè)用CPS變換完整地處理 閱讀全文

摘要： 在所有的文字之前，我需要強(qiáng)調(diào)一下，我本人對structure typing持反對態(tài)度，所以就算文中的內(nèi)容“看起來很像”go的interface，讀者們也最好不要覺得我是在贊揚(yáng)go的interface。我比較喜歡的是haskell和rust的那種手法。可惜rust跟go一樣恨不得把所有的單詞都縮成最短，結(jié)果代碼寫出來連可讀性都沒有了，單詞都變成了符號。如果rust把那亂七八糟的指針設(shè)計(jì)和go的那種屎縮寫一起干掉的話，我一定會(huì)很喜歡rust的。同理，COM這個(gè)東西設(shè)計(jì)得真是太他媽正確了，簡直就是學(xué)習(xí)面向?qū)ο笫址ǖ淖罴逊独?，可惜COM在C++下面操作起來有點(diǎn)傻逼，于是很多人看見這個(gè)東西就呵呵呵了。上 閱讀全文

摘要： 我從來沒有在別的語言的粉里面看見過這么容易展示人性丑陋一面的粉，就算是從十幾年前開始的C++和C對噴，GC和非GC對噴，靜態(tài)類型動(dòng)態(tài)類型對噴的時(shí)候，甚至是云風(fēng)出來噴C++黑得那么驚天動(dòng)地的時(shí)候，都沒有發(fā)生過這么腦殘的事情。這種事情只發(fā)生在go語言的腦殘粉的身上，這究竟代表什么呢？想學(xué)go語言的人最好小心一點(diǎn)了，學(xué)怎么用go沒關(guān)系，go學(xué)成了因?yàn)槭懿涣颂絼e的語言去也沒關(guān)系，就算是抖M很喜歡被折騰所... 閱讀全文

摘要： 這個(gè)系列的起因是這樣的，王垠寫了一篇噴go的博客http://www.yinwang.org/blog-cn/2013/04/24/go-language/，里面說go已經(jīng)爛到無可救藥了，已經(jīng)懶得說了，所以讓大家去看http://www.mindomo.com/view.htm?m=8cc4f95228f942f8886106d876d1b041，里面有詳細(xì)的解釋。然后這篇東西被發(fā)上了微博，很多博... 閱讀全文