面向?qū)ο笳Z言中一個對象可能會具有以下三種性質(zhì)，這常常讓人感到難以理解莽鸿。 逆變性（Contravariant）：表示一個類型變換成它的一個子類的類型躬柬。 協(xié)變性（Covarian...
發(fā)簡信
IP屬地：江蘇
-
面向?qū)ο笈c逆變姐仅、協(xié)變
-
并查集與類型推導(dǎo)某次參加筆試的最后一題大意如下：給定一組用戶[0..n]拜轨，以及他們之間的好友關(guān)系，問這些好友構(gòu)成了多少個朋友圈楔脯？例如有用戶[1..5]撩轰，好友關(guān)系有(1,2),(3,4),(4...
-
說說設(shè)計模式
這幾天從圖書館借了借來了《設(shè)計模式》，花了幾個小時大致瀏覽了一下昧廷。當(dāng)然了堪嫂，在此之前我已經(jīng)拜讀過王垠的文章 。我的觀點和他基本相同木柬，不過既然是要談?wù)勥€是詳細(xì)點說吧皆串。 創(chuàng)建型模式...
-
模板元編程
在前一篇文章中介紹了使用lambda calculus構(gòu)造自然數(shù)以及相關(guān)運算。在所有的圖靈完備的語言中眉枕，我們都可以進行類似的行為恶复。之前學(xué)習(xí)C++的時候，看過一些模板元編程的內(nèi)...
-
求解前驅(qū)函數(shù)
因為發(fā)現(xiàn)簡書支持Markdown所以決定把我的新浪博客搬到簡書速挑。 說明 lambda calculus是圖靈完備的語言谤牡，可以定義自然數(shù)，布爾值等等姥宝，這種方法稱之為Church...