[mercury-users] higher-order programming

[Peter Schachte]

Hi Peter,

> My solution was to instead map the higher order functions to data
> constructors, which allows one to easily combine the combinators,
> however it's not possible to add new base combinators easily to the
> system, which is an annoying drawback to the system.

Could you use a type class to solve that problem?  Then each
constructor would be its own type, which I expect would make
maintenance easier.

-- 
Peter Schachte              The C Programming Language -- A language which
schachte at cs.mu.OZ.AU        combines the flexibility of assembly language with
www.cs.mu.oz.au/~schachte/  the power of assembly language. 
Phone: +61 3 8344 1338      
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------