[mercury-users] higher-order programming

Peter Schachte schachte at cs.mu.OZ.AU
Tue May 24 10:54:03 AEST 2005

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

More information about the users mailing list