Alberto Simoes wrote: :2) using ^ for mapping operators.. this only works with two lists. :The problem here is that we have a pair of lists, and want a :list of pairs. There can be other situations where we have :three lists, instead of a list of tripplets... I thought it was :better to have a 'evidence' or 'factorize' for lists in a way :((a,b,c),(1,2,3)) will become ((a,1),(b,2),(c,3)) and :((1,2,3),(4,5,6),(7,8,9)) will become ((1,4,7),(2,5,8),(3,6,9)). :This way, the ^ operator could be replaced with a simple map... :More generic, less operators confusion... better? maybe...
I'm hoping we'll get the facility to add user-defined hyperoperators, in which case it will be easy to add other list-manipulation strategies in a generic manner. With a bit of luck, the commonest such hyperoperators will get to be in a standard class that everyone uses, rather than everyone going off to invent their own symbols. Hugo
