看板 [ PLT ]
討論串[問題] GADT 概念
共 6 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
2
下一頁
尾頁
#6
Re: [問題] GADT 概念
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者code17 (None)時間17年前 (2007/12/11 05:32), 編輯資訊
0
0
6
內容預覽:
抱歉，最近一直沒能來，回復得晚了。. 哪裡是高手，PLT裡水太深了，隨便一個topic後面都有一堆我不懂的東西. 一般實踐裡常用的應該就是這種簡單形式的吧，因為這個技巧比較直觀，. 在現有的type system裡又是完全valid，有助于安全性，所以很多項目. 的代碼裡都可以見到。. 這個Firs
(還有137個字)
首頁
上一頁
1
2
下一頁
尾頁