看板
[ PLT ]
討論串[問題] GADT 概念
共 6 篇文章
內容預覽:
大家好, 小弟也是對於FL跟PL理論有一些興趣的人. 最近讀了一下什麼是GADT. http://www.haskell.org/haskellwiki/Generalised_algebraic_datatype. http://hackage.haskell.org/trac/haskell-p
(還有900個字)
內容預覽:
板主要我回我只好回了... XD. 很操作性地舉例，在 Haskell 中當我們宣告這樣一個 datatype:. data Foo a = Bar1 a | Bar2 Int Int. 我們得到這兩個 constructors:. Bar1 :: a -> Foo a. Bar2 :: Int -
(還有829個字)
內容預覽:
看懂了，不過不知道該說什麼，那就隨意閒聊一下...希望能拋磚引玉 :p. 我在一開始知道把 type 和 value 混在一起的這種作法後，. 直接就覺得這樣做肯定能夠帶來多上許多的表達能力。. 不過後來漸漸又覺得，這樣做其實帶來非常大量的複雜性，. 使得我開始有些搞不清楚 type 和 value
(還有177個字)
內容預覽:
以前就聽說GADT，但一直只是聽說，也沒去看paper，概念模糊。. 這裡的解釋很通俗，非常感謝！. 有幾個概念上的問題想提問：. 1) 好像GADT所解決的問題，以前在ML裡一直是用phantom types. 來作的，不知道這個理解對不對。當然GADT顯然要干淨得多，不需. 要定義額外的cons
(還有196個字)
內容預覽:
哇，高手來了。都是很有意思而且不很容易答的問題哩。 :). 先確認一下我們說的 phantom type 是什麼。我所知道的第一種. 是來自Leijen & Meijer:. http://www.usenix.org/events/dsl99/full_papers/leijen/leijen.p
(還有1474個字)