[m-dev.] Adding default clauses to the language.

Fergus Henderson fjh at cs.mu.OZ.AU
Thu Aug 9 01:06:13 AEST 2001


On 08-Aug-2001, Ralph Becket <rbeck at microsoft.com> wrote:
> Similarly, one might shorten det_map2 to
> 
> det_map2(_, [],       []      ) = [].
> det_map2(F, [X | Xs], [Y | Ys]) = [F(X, Y) | det_map2(F, Xs, Ys)].
> 
> otherwise det_map2(_, _, _) = throw("inputs of different lengths").

I don't think you can define a declarative semantics for that
in a mode-independent fashion.

I am strongly opposed to the introduction of any syntactic
constructs whose declarative semantics depends on the modes.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list