作者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