<div class="gmail_quote">On Wed, Jun 22, 2011 at 9:00 AM, Adam Chlipala <span dir="ltr"><<a href="mailto:adamc@impredicative.com" target="_blank">adamc@impredicative.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">








<div>Zach Tatlock wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I do not think this is a pressing issue either; I can distribute<br>
sqlite with an app and, as you point out, just have some wrapper<br>
script orchestrate the whole system.<br>
   <br>
</blockquote>
<br></div>
And, if you are distributing binaries, static linking will already accomplish what I think you're asking for.  (Just for the database side of things)</blockquote><div><br></div><div>Oh I see.  I didn't realize that sqlite was just a lib.  Ur/Web already does exactly what I want here :) </div>








<div><br></div><div>Sorry that I misunderstood your earlier response.</div><div><br></div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Right now, CSS styling itself is intentionally outside the scope of Ur/Web.  To allow CSS styling to appear in Ur/Web apps, I'd want to do a proper syntax embedding, not provide an easy way to interpret strings as CSS.<br>









<br>
It's important to me that, by default, an Ur/Web application has access to no built-in way of interpreting strings as code in any language.  This makes it easy to see that there are no code injection vulnerabilities.</blockquote>








<div><br></div><div>That is clearly a better solution.</div><div><br></div><div>However, in the short term, before the CSS embedding is done, it seems that making a  standalone app requires some sort of string-as-CSS kludge.  As long as the CSS string is literal, this should be as immune to code injection as using an external server for CSS, correct?</div>








<div><br></div><div>To handle the name update issue: Since styles are first class (and assuming they have an equality test), one could manually build a style-to-name dictionary and use that when writing the css.  That's getting really ugly though.  At least if you change the style, the compiler will warn you to change the dictionary too.</div>







<div><br></div></div>