作者godfat (godfat 真常)
看板PLT
標題Re: [問題] GADT 概念
時間Fri Nov 30 22:00:22 2007
看懂了,不過不知道該說什麼,那就隨意閒聊一下...希望能拋磚引玉 :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
1F:→ noctem:我現在也還是常弄錯。除了需要時間熟悉,我想一個問題是越 12/01 11:11
2F:→ noctem:抽象的 type system 越難產生看得懂的 error message.. 12/01 11:13