MR K P SCHUPKE
k.schupke at imperial.ac.uk
Mon Mar 8 17:12:05 EST 2004
I needed a list which could handle items of different types for the
database code I am writing. I have written a module implementing such a
list based on dependant types (from Conor McBride: Faking It; Simulating
Depandant Types in Haskell). Although McBride does not mention
lists/vectors with items of differing types, the solution to
implementing them came from his 'nthFront' function for re-arranging the
order of arguments to a function.
Any type can be inserted into the list, which supports
head/tail/init/last, as well as indexed lookup, and a cartesian-product
(concatenating two lists together). I have included fromTuple/toTuple as
This seems quite a useful construct, and if there is nothing similar in
the standard libraries at the moment, do you think this is worth including?
More information about the Glasgow-haskell-users