27 Oct
2006
27 Oct
'06
1:12 p.m.
Hello,
something of the type t1 -> t2 -> t3 where t3 = f(t1, t2). Generalization of zip/zipWith. I have never seen that example.
Obviously a lot is missing in the above -- in particular, good names for the examples, and the test data. And the idea how to organize the files with examples and test data within our DARCS repository.
I think these are good examples. The only thing I miss is a generic variant of map :: (a->b) -> [a]->[b].
Though the generic zipWith function would already demonstrate the power of the library --- if you can do generic zipWith, you should be able to do generic map. Cheers, Bruno