Well, runtime loading is definitely something I want (and the single biggest reason I haven&#39;t switched to using Hamlet yet), as I&#39;m currently building my app and then uploading it to my server which is a rather slow process. Being able to upload a new template (or edit it in place) most of the time rather and a completely new binary would be a major time saver. As to your question, I&#39;m not entirely sure, as there needs to be some sort of information about the expected template available at compile time. It ruins the symmetry somewhat, but maybe create a compile time version of the template that essentially specifies what sort of variables are expected, and so long as the variables remain the same at runtime (and there are no syntax errors) the templates should continue to function properly. I&#39;m still pretty new to Haskell, so the kind of reflective black magic necessary to do something like that is a bit beyond me currently, but perhaps some sort of new TH to specify name -&gt; type bindings in the template?<br>
<br>Something like:<br><br>[$runtimehamlet|<br>  exampleVar -&gt; SomeType<br>  anotherVar -&gt; SomeOtherType<br>|]<br><br>I&#39;m not sure if it would be better to provide some mechanism to specify which template that&#39;s expected to be the args for, or if you should have to define an &quot;argument set&quot; for each template you plan to use.<br>
<br clear="all">-R. Kyle Murphy<br>--<br>Curiosity was framed, Ignorance killed the cat.<br>
<br><br><div class="gmail_quote">On Sat, Jul 31, 2010 at 15:34, Michael Snoyman <span dir="ltr">&lt;<a href="mailto:michael@snoyman.com">michael@snoyman.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<div dir="ltr">Hey all,<div><br></div><div>An often-mentioned &quot;cool feature&quot; for Hamlet would be to support runtime parsing/rendering of templates. Currently, the only supported method is quasi-quoting a template and thereby have it parsed into Haskell code at compile time. In my opinion, this is definitely the preferred way of using Hamlet, as it gives you very solid compile-time guarantees of correct syntax and type safety. Nonetheless, there are some use cases (static site generation via Hakyll, a hamlet-to-html tool, etc) that would really benefit from runtime parsing.</div>

<div><br></div><div>It turns out this is pretty simple to add, except for one thing: I can&#39;t figure out a good API for passing in variables for a template. Hamlet templates have essentially four different datatypes they recognize:</div>

<div><br></div><div>* Html</div><div>* Some URL data type</div><div>* That same URL datatype along with a [(String, String)] to represent query-string parameters</div><div>* A Hamlet template</div><div><br></div><div>In addition, $forall and $maybe need lists and Maybe values, respectively. Variable lookup is handled by a tree, which allows you to express arbitrary function application. $if requires Bools.</div>

<div><br></div><div>So the question is, what should an API look like? The parse function is fairly straight-forward:</div><div><br></div><div>parseHamletRT :: HamletSettings -&gt; String -&gt; Either HamletException HamletRT</div>

<div><br></div><div>However, the render function is more complicated. I&#39;ve toyed with a few possible ideas:</div><div><br></div><div>* Use the data-object package with some complicated HamletData datatype.</div><div>
* Just do the complicated HamletData datatype.</div>
<div>* Type lookup functions as parameters.</div><div>* Disallow most of the more complicated features in Hamlet, like URL and subtemplates, and just allow dollar-sign interpolation with $forall and $if. That tree datatype for variable names could be collapsed into a [String].</div>

<div><br></div><div>Thoughts on the matter are welcome, as well as sample use cases you have for such a function.</div><div><br></div><font color="#888888"><div>Michael</div></font></div>
<br>_______________________________________________<br>
web-devel mailing list<br>
<a href="mailto:web-devel@haskell.org">web-devel@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/web-devel" target="_blank">http://www.haskell.org/mailman/listinfo/web-devel</a><br>
<br></blockquote></div><br>