PTT
數位生活區
即時熱門文章
24小時內熱門文章
最新文章
熱門看板
看板列表
我的收藏
最近瀏覽
批踢踢 PTT 搜尋引擎
看板
[
PLT
]
討論串
[問題] GADT 概念
共 6 篇文章
排序:
最新先
|
最舊先
|
留言數
|
推文總分
內容預覽:
開啟
|
關閉
|
只限未讀
首頁
上一頁
1
2
下一頁
尾頁
#1
[問題] GADT 概念
推噓
2
(2推
0噓 0→
)
留言
2則,0人
參與
,
最新
作者
command
(ITRS)
時間
17年前
發表
(2007/11/28 02:12)
,
編輯
資訊
0篇文章回應此文
0
內文有0個圖片
image
0
內文有3個連結
link
3
內容預覽:
大家好, 小弟也是對於FL跟PL理論有一些興趣的人. 最近讀了一下什麼是GADT.
http://www.haskell.org/haskellwiki/Generalised_algebraic_datatype.
http://hackage.haskell.org/trac/haskell-p
(還有900個字)
首頁
上一頁
1
2
下一頁
尾頁