<div dir="ltr">Thanks for the help.  Are any types functions evaluated and inlined at compile time to reduce run-time overhead (say like my head_tmpl that is taking a constant string)?<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Oct 2, 2014 at 3:13 PM, Adam Chlipala <span dir="ltr"><<a href="mailto:adamc@csail.mit.edu" target="_blank">adamc@csail.mit.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  
    
  
  <div bgcolor="#FFFFFF" text="#000000"><span class="">
    On 10/02/2014 04:26 PM, Burton Samograd wrote:<br>
    <blockquote type="cite">
      <div dir="ltr">
        <div>
          <div>
            <div>fun page (title:string, body:xbody) =<br>
                  <xml><br>
                  {head_tmpl title}<br>
                  {body_tmpl body}<br>
                  </xml><br>
                  <br>
              fun main () : transaction page = <br>
                  return (page "BlogMain" <xml/>)<br>
            </div>
          </div>
        </div>
      </div>
    </blockquote>
    <br></span>
    I expect Mutaamba's reply clears up the issue, but, to put it
    concisely: the issue here is a function defined with <i>tupling</i>
    but called with <i>currying</i>.  Those are two different
    approaches to encoding multiple-argument functions on top of
    single-argument functions, and the distinction is also present (and
    also confuses newcomers!) in Haskell and ML.<br>
  </div>

<br>_______________________________________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" target="_blank">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br>
<br></blockquote></div><br></div>