Hi, everyone. Long time no see. I have a specific proposal for scoped type
variables, which is totally different from plans A and B, and which I'd like
people to pick to pieces for me. (Especially you, Simon.)
Type variable scoping in System F is simple: the type bindings are explicit
and follow
This message is about scoped type variables. I'm sending it to the Haskell
mailing list, because I think that the question of scoped type variables is of
general interest to Haskellers, but I suggest that you all send *replies* to
Haskell Café, where this thread originated.
Simon
The
| This is a great example, thanks for posting it. However, I feel like
| the real problem in this example is the lexically-scoped type
| variables declared with your function f.
Paul's message gives me an excuse to consult the Haskell list about the
design of lexically scoped type variables. I h
