[m-dev.] for review: function def's for single out det mode library predicates

David Glen JEFFERY dgj at cs.mu.OZ.AU
Thu Jul 8 14:12:53 AEST 1999


On 08-Jul-1999, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> In addition to my previous comments about the changes I would make
> to Ralph Becket's change before committing it, here is one more:
> 
> std_util.m:
> > +	% General purpose higher-order programming constructs.
> > +
> > +	% o(F, G, X) = F(G(X))
> > +	%
> > +	% Function composition.
> > +	% XXX It would be nice to have infix `o' or somesuch for this.
> > +:- func o(func(T2) = T3, func(T1) = T2, T1) = T3.
> 
> I renamed that function as `compose'.

I think Ralph's XXX comment still stands, though.


dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) | If your thesis is utterly vacuous
PhD student,                    | Use first-order predicate calculus.
Dept. of Comp. Sci. & Soft. Eng.|     With sufficient formality
The University of Melbourne     |     The sheerist banality
Australia                       | Will be hailed by the critics: "Miraculous!"
                                |     -- Anon.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list