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

[Mattias Waldau]

I mostly use the imperative features of Ocaml is mostly used in objects (can
there be pure objects, I haven't seen a successful attempt?) and for
array-code.

The beatty of Ocaml is that it can do anything a low-level language like C
can - and almost as fast - and that you can make pure programs. Two
additional features I really miss in Mercury is a fast compiler and an
interactive environment.

/mattias

P.s. Yes, I know that real functions only can be det or semidet, but if you
view functions as a mere syntactic sugar for relations, they can be nondet.
The goal was to remove unnecessary "transport variables", not to create a
functional language.

-----Original Message-----
From: owner-mercury-users at cs.mu.OZ.AU
[mailto:owner-mercury-users at cs.mu.OZ.AU]On Behalf Of Ralph Becket
Sent: Monday, January 29, 2001 11:55 AM
To: 'mercury-users at cs.mu.OZ.AU'
Subject: RE: Functional syntax (Was: RE: [mercury-users] Hi, and
determinism)


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

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