Re: [問題] GADT 概念
看懂了，不過不知道該說什麼，那就隨意閒聊一下...希望能拋磚引玉 :p
※ 引述《noctem (noctem)》之銘言：
: 把 type 和 value 混一起到底好不好，則是目前仍沒有定論的。
我在一開始知道把 type 和 value 混在一起的這種作法後，
直接就覺得這樣做肯定能夠帶來多上許多的表達能力。
不過後來漸漸又覺得，這樣做其實帶來非常大量的複雜性，
使得我開始有些搞不清楚 type 和 value 之間的差異...
簡單地說其實就是有點困惑，總覺得應該是很好的東西，
但好像非常有障礙似的...。
不知道這是代表有著更高許多的門檻，或是機制還不夠成熟呢？ :p
--
Hear me exalted spirits. Hear me, be you gods or devils, ye who hold
dominion here:
I am a wizard without a home. I am a wonderer seeking refuge.
Sacrifice
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.135.28.18
→
12/01 11:11, , 1F
12/01 11:11, 1F
→
12/01 11:13, , 2F
12/01 11:13, 2F
討論串 (同標題文章)
PLT 近期熱門文章
PTT數位生活區 即時熱門文章
