FW: MonadFix

Simon Marlow simonmar@microsoft.com
Tue, 5 Mar 2002 14:53:15 -0000


> 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.
>=20
> I was thinking that if there's only one really useful function (fix)
> it hardly warrants a whole module.
>=20
> > I used the name "traceFix" to avoid clash with the "trace" debugging
> > primitive. It sounds too much like a debugging function in any case.
>=20
> Ah, but we have modules for namespace control.  On the other=20
> hand, this
> function is probably of no use to any module other than Arrow=20
> (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