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)?
On Thu, Oct 2, 2014 at 3:13 PM, Adam Chlipala <[email protected]> wrote: > On 10/02/2014 04:26 PM, Burton Samograd wrote: > > fun page (title:string, body:xbody) = > <xml> > {head_tmpl title} > {body_tmpl body} > </xml> > > fun main () : transaction page = > return (page "BlogMain" <xml/>) > > > I expect Mutaamba's reply clears up the issue, but, to put it concisely: > the issue here is a function defined with *tupling* but called with > *currying*. 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. > > _______________________________________________ > Ur mailing list > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur > >
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
