Hi,
We are trying to determine how important it is to have polymorphic
let-bindings in the do-expression. Just to review, a do-expression
might have let-bindings of the form:
do let p = e
e'
which is translated as:
let p = e
in do e'
Hence, the variables bound in the pattern p are polymorphic, following
the usual rules for let bindings. What we are wondering is how often
people NEED this sort of polymorphism in practice. If we restricted these
bindings to be monomorphic, would it make too much difference in your work?
This is more like a poll rather than a discussion, so please feel free
to reply to us privately or to the mailing list as you deem appropriate. We'll
be very pleased to see any examples where polymorphism plays a key role,
if any, but a simple "yes, they are useful" or "no, I never needed them
to be polymorphic" response is fine too.
Thanks for your time.
John Launchbury & Levent Erkok