Hi,
I always find it annoying to have a lot of
auxiliary functions for selecting elements of
tuples. It would be nice to have, e.g.,
an infix operator, say "#", that takes a tuple
and an integer >constant< and delivers one element
out of the tuple, e.g.:
(a,b,c,d,e,f,g,h) # 0 = a
(a,(b,c)) # 1 # 0 = b
Of course, this operator will not have
a Haskell type. Maybe something like a
let-expression can be introduced by
the compiler, if the type inference system
has determined the length of the tuple.
Do you think this will be possible?
Sincerely
-------------------------------------------------------------------------------
Christoph Herrmann
E-mail: [EMAIL PROTECTED]
WWW: http://brahms.fmi.uni-passau.de/cl/staff/herrmann.html
