A shorter version of this paper appeared in the proceedings of the ACM SIGPLAN Haskell Workshop 2004, September 22, 2004, Snowbird, Utah, USA, Published by ACM Press. This longer version provides several appendices and some extra paragraphs.Краткое содержание:Introduction
Not so strongly typed collections
Typeful heterogeneous lists
Numeral-based access operations
Extensible records
Type-based access operations
Type-indexed products
Database programming
By chance or by design?
Related work
Conclusion
References
Some trivial list-processing operators
A heterogeneously typed fold operator
Type-indexed co-products
Generic type unification cont’d
