發(fā)簡(jiǎn)信
IP屬地：江蘇
-
面向?qū)ο笈c逆變霉囚、協(xié)變
面向?qū)ο笳Z言中一個(gè)對(duì)象可能會(huì)具有以下三種性質(zhì)，這常常讓人感到難以理解匕积。 逆變性（Contravariant）：表示一個(gè)類型變換成它的一個(gè)子類的類...
-
并查集與類型推導(dǎo)某次參加筆試的最后一題大意如下：給定一組用戶[0..n]，以及他們之間的好友關(guān)系闪唆，問這些好友構(gòu)成了多少個(gè)朋友圈盅粪？例如有用戶[1..5]，好友關(guān)系...
-
說說設(shè)計(jì)模式
這幾天從圖書館借了借來了《設(shè)計(jì)模式》票顾，花了幾個(gè)小時(shí)大致瀏覽了一下。當(dāng)然了帆调，在此之前我已經(jīng)拜讀過王垠的文章 奠骄。我的觀點(diǎn)和他基本相同，不過既然是要談...
-
模板元編程
在前一篇文章中介紹了使用lambda calculus構(gòu)造自然數(shù)以及相關(guān)運(yùn)算含鳞。在所有的圖靈完備的語言中，我們都可以進(jìn)行類似的行為撵枢。之前學(xué)習(xí)C++...
-
求解前驅(qū)函數(shù)
因?yàn)榘l(fā)現(xiàn)簡(jiǎn)書支持Markdown所以決定把我的新浪博客搬到簡(jiǎn)書精居。 說明 lambda calculus是圖靈完備的語言，可以定義自然數(shù)潜必，布爾值等...