Functional syntax (Was: RE: [mercury-users] Hi, and determini sm)

[Ralph Becket]

>From Mattias Waldau on 29/01/2001 07:49:56
> 
> The solution is obvious: Remove the variables, and that can in many cases
be
> done by using functional syntax (even if the functions are nondet).

NB. Functions can only be det or semidet.

> P.s. I have stopped using Mercury right know, since my predicates mostly
> were det or semidet. I am using Ocaml. However, I am very curious about
HAL,
> since constraint programming needs a logic language, a functional isn't
> enough.

Just out of interest, how often do you find yourself using Ocaml's
imperative
features?  Much of the Ocaml code I've seen could not be called functional.

Ralph

--
Ralph Becket      |      MSR Cambridge      |      rbeck at microsoft.com 

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------