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