On Mon, Mar 04, 2002 at 09:40:48AM +0000, Levent Erkok wrote:
I agree that nthFix is mainly useful in proofs. Similarly for paramFix. But if we are having a separate library for "fix"-like functions, I don't see any harm in putting them there as well.
I was thinking that if there's only one really useful function (fix) it hardly warrants a whole module.
I used the name "traceFix" to avoid clash with the "trace" debugging primitive. It sounds too much like a debugging function in any case.
Ah, but we have modules for namespace control. On the other hand, this function is probably of no use to any module other than Arrow (so might as well be there).
Control.Function sounds like a good idea. I've been looking for somewhere to put these too: id, (.), const, flip, until. Cheers, Simon