看板
[ PLT ]
討論串[問題] GADT 概念
共 6 篇文章
內容預覽:
抱歉，最近一直沒能來，回復得晚了。. 哪裡是高手，PLT裡水太深了，隨便一個topic後面都有一堆我不懂的東西. 一般實踐裡常用的應該就是這種簡單形式的吧，因為這個技巧比較直觀，. 在現有的type system裡又是完全valid，有助于安全性，所以很多項目. 的代碼裡都可以見到。. 這個Firs
(還有137個字)
內容預覽:
哇，高手來了。都是很有意思而且不很容易答的問題哩。 :). 先確認一下我們說的 phantom type 是什麼。我所知道的第一種. 是來自Leijen & Meijer:. http://www.usenix.org/events/dsl99/full_papers/leijen/leijen.p
(還有1474個字)
內容預覽:
以前就聽說GADT，但一直只是聽說，也沒去看paper，概念模糊。. 這裡的解釋很通俗，非常感謝！. 有幾個概念上的問題想提問：. 1) 好像GADT所解決的問題，以前在ML裡一直是用phantom types. 來作的，不知道這個理解對不對。當然GADT顯然要干淨得多，不需. 要定義額外的cons
(還有196個字)
內容預覽:
看懂了，不過不知道該說什麼，那就隨意閒聊一下...希望能拋磚引玉 :p. 我在一開始知道把 type 和 value 混在一起的這種作法後，. 直接就覺得這樣做肯定能夠帶來多上許多的表達能力。. 不過後來漸漸又覺得，這樣做其實帶來非常大量的複雜性，. 使得我開始有些搞不清楚 type 和 value
(還有177個字)
內容預覽:
板主要我回我只好回了... XD. 很操作性地舉例，在 Haskell 中當我們宣告這樣一個 datatype:. data Foo a = Bar1 a | Bar2 Int Int. 我們得到這兩個 constructors:. Bar1 :: a -> Foo a. Bar2 :: Int -
(還有829個字)