這個系列的起因是這樣的，王垠寫了一篇噴go的博客http://www.yinwang.org/blog-cn/2013/04/24/go-language/，里面說go已經爛到無可救葯了，已經懶得說了 ...

類型是了解編程語言的重要一環。就算是你喜歡動態類型語言，為了想實現一個靠譜的東西，那也必須了解類型。舉個簡單的例子，我們都知道+和-是對稱的——當然這只是我們的願望了，在javascript里面，"1"+2和"1"-2就不是一回事。這就是由於不了解類型的操作而犯下的一些滑稽的錯誤。什么，你覺得 ...

我從來沒有在別的語言的粉里面看見過這么容易展示人性丑陋一面的粉，就算是從十幾年前開始的C++和C對噴，GC和非GC對噴，靜態類型動態類型對噴的時候，甚至是雲風出來噴C++黑得那么驚天動地的時候，都沒有發生過這么腦殘的事情。這種事情只發生在go語言的腦殘粉的身上，這究竟代表什么呢？想學go語言的人 ...

人們都很喜歡討論閉包這個概念。其實這個概念對於寫代碼來講一點用都沒有，寫代碼只需要掌握好lambda表達式和class+interface的語義就行了。基本上只有在寫編譯器和虛擬機的時候才需要管什么是 ...

”的方法並不是唯一的。很多人覺得，反正你多高級的語言編譯完了無非都是機器碼嘛。但是還有另一種解釋，你無論 ...

在思考怎么寫這一篇文章的時候，我又想到了以前討論正交概念的事情。如果一個系統被設計成正交的，他的功能擴展起來也可以很容易的保持質量這是沒錯的，但是對於每一個單獨給他擴展功能的個體來說，這個系統一點都不好用。所以我覺得現在的語言被設計成這樣也是有那么點道理的。就算是設計Java的那誰，他也不是傻逼 ...

大家看到這個標題肯定會歡呼雀躍了，以為功能少的語言就容易學。其實完全不是這樣的。功能少的語言如果還適用范圍廣，那所有的概念必定是正交的，最后就會變得跟數學一樣。數學的概念很正交吧，正交的東西都特別抽象，一點都不直觀的。不信？出門轉左看Haskell，還有抽象代數。因此刪減語言的功能是需要高超的技巧 ...

關於這個話題，其實在（六）里面已經討論了一半了。學過Haskell的都知道，這個世界上很多東西都可以用monad和comonad來把一些復雜的代碼給抽象成簡單的、一看就懂的形式。他們的區別，就像用js ...