[mercury-users] Link to some history about why Prolog, Mercury, Haskell, &c don't treata _foo like _

[Julian Fondren]

Here:
http://www.erlang.org/pipermail/erlang-questions/2007-February/025146.html

The overarching issue there doesn't apply in Mercury, though:
in Mercury you'd pass types around in the cases where Erlang
has nested untyped tuples and list structures, as in this
example:

  {ok, {_Result, _Headers, Body}} =
    http:request("http://http://www.cs.mu.oz.au/research/mercury/index.html/"),

Cheers,
Julian
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------