[mercury-users] Typeclass constraint on HO (function) discriminator

Sebastian Brand sbrand at csse.unimelb.edu.au
Fri Apr 21 07:50:37 AEST 2006

>>>It's an abuse of the notation: DCGs are for parsing.

If that's the politically correct view these days then the paragraph
in "The Prolog to Mercury transition guide", Section 3: "Input and 
output" needs correcting: "[IO:] Definite Clause Grammars (DCGs) are 
convenient syntactic sugar to use in such situations."

>>Says who?  It's his code and it works.  Looks like a style issue to me.
> [...] we decided the best course was to adopt state variables for IO
 > and reserve DCGs for parsing.
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