發(fā)簡(jiǎn)信
IP屬地：四川
-
-
賀剛 ·就像群范疇中的對(duì)象，范疇中的群對(duì)象一樣，前者是局限于集合范疇的定義，后者是根據(jù)ump在任意范疇上的定義。
Obj_Arr 評(píng)論自白monoid是monoid，白monoid非monoid -
靈魂現(xiàn)身，毫無(wú)ps痕跡
SRECon Asia 總結(jié)
每日的流水賬都記完了，整體總結(jié)下這次在新加坡的SRECon。 時(shí)間成本:? 會(huì)議的時(shí)間3天，全部為工作時(shí)間-_-!? 在途時(shí)間，得看選擇的航班，因?yàn)闀r(shí)間關(guān)系我選擇的班級(jí)轉(zhuǎn)機(jī)等...
-
關(guān)于講PPT寫寫自己對(duì)于講PPT的經(jīng)驗(yàn)感受。 本人不是那種知道“如何做完美PPT注意事項(xiàng)大集合”的演講專家，只是這些年從上學(xué)到工作也經(jīng)歷了不少需要講PPT的場(chǎng)合，總體說(shuō)來(lái)，講PPT算是自...
-
@老吳學(xué)技術(shù) 不知道這兩個(gè)鏈接解釋的足夠清楚嗎？歡迎討論
理解范疇論中單子需要的最小知識(shí)集
A monad is just a monoid in the category of endofunctors, what's the problem? 作為一個(gè)計(jì)算機(jī)工作...
-
不好意思，很久沒(méi)來(lái)。
理解范疇論中單子需要的最小知識(shí)集
A monad is just a monoid in the category of endofunctors, what's the problem? 作為一個(gè)計(jì)算機(jī)工作...
-
DDD實(shí)戰(zhàn)篇：分層架構(gòu)的代碼結(jié)構(gòu)同于其它的架構(gòu)方法，領(lǐng)域驅(qū)動(dòng)設(shè)計(jì)DDD（Domain Driven Design）提出了從業(yè)務(wù)設(shè)計(jì)到代碼實(shí)現(xiàn)一致性的要求，不再對(duì)分析模型和實(shí)現(xiàn)模型進(jìn)行區(qū)分。也就是說(shuō)從代碼的結(jié)...
-
-
-
@ThoughtWorks中國(guó) 我開(kāi)始真沒(méi)看到強(qiáng)哥的署名..是靠智慧得出的結(jié)論..
軟件無(wú)用論
在一個(gè)周六的晚上，同事的一段文字讓我思緒萬(wàn)千，沉寂了十幾年的寫作沖動(dòng)，就這樣被這段文字喚醒了，雖然已經(jīng)0點(diǎn)過(guò)半。 不斷縈繞在我腦中的一個(gè)思考：為什么越是痛苦壓抑，越是能夠產(chǎn)生...
-
函子與單子--從范疇論到編程作為一名計(jì)算機(jī)工作者，理解范疇論中的函子與單子的目的，還是為了更好的理解函數(shù)式編程中的函子與單子，對(duì)于我來(lái)說(shuō)，沒(méi)有比理清兩者之間的對(duì)應(yīng)關(guān)系，能更好的幫助理解了。 先看一個(gè)范疇...
