看板
[ PLT ]
討論串[心得] Dependent Type "簡"介
共 5 篇文章
內容預覽:
來分享點心得吧~ \囧/. 最近幾個月接觸的東西. 順便看看能不能稍稍激起一點這個版的活力... 有錯煩請各位多指教~ o(_ _)o. ==前言分隔線==. Type System. Type System是一個Programming Language中很重要的一個部分. 它可以幫助我們把程式中的
(還有2569個字)
內容預覽:
嗯，我是證人。. 因為看不懂所以很快放棄了... XD. GADT 是 Generalized Algebraic Datatype. 不過要解釋. generalized XYZ, 就得要先解釋 XYZ... 所以... 等到有. 觀眾要求再說好了.... Haskell 其實還是沒有要做 dep
(還有1293個字)
內容預覽:
剛趕完一個工，來賺點 p 幣.... 如果後來有把東西都整理好的話，會釋出這次的一些 action script 3 code,. 名稱定為 avatar block, 顧名思義就是放一群 avatar 的 block,. 原始模型是 flickr 的照片 flash, 不過我加了很多擴充的東西。.
(還有2055個字)
內容預覽:
網路快多了 XD 剛剛打到有點想翻桌. 回到我們有長度的 list 上，這邊就寫成：. using std::list;. using std::size_t; // usually is unsigned int. template <class T, size_t N>. struct List
(還有1630個字)
內容預覽:
四連發 XD. 其實我覺得比起證明這真是簡單多了|||b. 不過由於 template 本來就不是設計來那樣玩的，. 所以有些地方寫起來會滿令人覺得彆扭又詭異.... C++0x 這部份應該會有很大的補強，像是 template alias 就能減少很多複雜度. *. 我也不太懂這是什麼 XDXD.
(還有865個字)