[Ur] Simple XML Templating Problem
Burton Samograd
burton.samograd at gmail.com
Thu Oct 2 17:27:20 EDT 2014
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 <adamc at csail.mit.edu> 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
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20141002/1ab4b3ab/attachment-0001.html>
More information about the Ur
mailing list