[mercury-users] mercury website (was Suggestion: new operator)

[William Lee Irwin III]

On Thu, Oct 19, 2000 at 03:33:12AM -0700, Ralph Becket wrote:
> We now have a selection of infix operators for common tasks (`^' for 
> field access, `++' for concatenation etc.)  I propose adding `@' as a
> synonym for `lookup' operations:

I didn't know this... am I working with the current release?
What I have now is the Debian package mercury 0.9.1-wli1 which is
just 0.9.1 with all of the extra libraries built. I'm apparently
having a very tough time reaching www.cs.mu.oz.au for whatever
reason; is there a U.S. mirror of the Mercury project's page?
(Or, more importantly, is there a U.S. mirror of the Mercury
project's CVS repository with anonymous access?)

On Thu, Oct 19, 2000 at 03:33:12AM -0700, Ralph Becket wrote:
> Map @ Key     <=> map__lookup(Map, Key)
> String @ Idx  <=> string__unsafe_index(String, Idx)
> Array @ Idx   <=> array__lookup(Array, Idx)
> etc.
> Conceivably one could also overload `:=' to handle `set' operations...
> Good idea?  Bad idea?

This sounds like a great idea. I can't wait to get my hands on the
revised library when all that is done.

Thanks,
Bill
-- 
"Doubtless every reader has heard something of the ingenious
theory of monads --- miniature replicas of the universe out of
which everything in the universe is composed, as a sort of one in
all, all in one --- by which Leibniz explained everything (except
the monads) in this world and the next."
-- E.T.Bell in "Men of Mathematics", pg. 128.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------