| just one more problem is that this issue is too complicated. i'm not
| sure that i correctly understands details, but for me the situation
| seems like this: in 6.4 it was no distinction between declarations and
| usages of type variables - first use declared it, while in 6.6 we have
| exactly
Hello Simon,
Wednesday, October 18, 2006, 12:09:40 PM, you wrote:
Other alternatives would be: do something about partial type
signatures; or make GADT type inference more sophisticated (and
thereby perhaps less predicatable).
just one more problem is that this issue is too complicated. i'm
Let me just begin by sharing my experience with scoped type variables. I've
found them very useful in a project were I was to generalize a substantial
code base. Many of the functions had local definitions whose type were
simply not expressible without scoped type variables. During this work I