<div class="gmail_quote">On 14 April 2012 17:26, Mark Brown <span dir="ltr"><<a href="mailto:mark@csse.unimelb.edu.au">mark@csse.unimelb.edu.au</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">> > Foo = foo(  10       % bar<br>
> >             "eleven" % baz<br>
> >          ).<br>
<br>
</div>You can write<br>
<br>
    (_ ^ bar := 10)<br>
       ^ baz := "eleven"<br>
<br>
to construct the above term.  </blockquote><div><br></div><div>Thanks for the pointer.</div><div><br></div><div>How would that look if I want to explicitly initialize the quux field?  This…</div><div><br></div><blockquote class="gmail_quote" style="margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<font face="'courier new', monospace">((_ ^ bar := 10) <br></font><font face="'courier new', monospace">    ^ baz := "eleven") <br></font><font face="'courier new', monospace">    ^ quux := yes</font></blockquote>
<div><br></div><div>…could start to get a bit quirky-looking if I want to initialize a dozen members.</div><div> </div></div>-- <br>"Perhaps people don't believe this, but throughout all of the discussions of entering China our focus has really been what's best for the Chinese people. It's not been about our revenue or profit or whatnot."<br>
--Sergey Brin, demonstrating the emptiness of the "don't be evil" mantra.<br>