Thanks a lot for your feedback!<br>I begin now to get my hands dirty:-)<br><br>Regards<br>Nik<br><br><div class="gmail_quote">On Tue, Sep 15, 2009 at 2:59 PM, Adam Chlipala <span dir="ltr"><<a href="mailto:adamc@impredicative.com">adamc@impredicative.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">nitralime wrote:<div><div></div><div class="h5"><br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
On Mon, Sep 14, 2009 at 11:26 PM, Adam Chlipala <<a href="mailto:adamc@impredicative.com" target="_blank">adamc@impredicative.com</a> <mailto:<a href="mailto:adamc@impredicative.com" target="_blank">adamc@impredicative.com</a>>> wrote:<br>
<br>
As you surely know, there are also some growing tendencies<br>
towards SPI (Single Page Interface) and RIA (Rich Internet<br>
Application).<br>
For this sort of applications one needs a solid GUI toolkit.<br>
As far as I know there are two different approches for<br>
providing GUI:<br>
1) using a prebuilt JavaScript GUI toolkit wrapped in some APIs<br>
which in ideal case integrate seamlessly into the core<br>
framework<br>
2) [[a subset of the framework's core language) --><br>
JavaScript]] compiler<br>
which provides the GUI toolkit<br>
<br>
The first alternative can be "easily" realized by taking some<br>
web framework and<br>
a decent JavaScript GUI toolkit like TIBCO General Interface,<br>
Javeline, dhtmlx,<br>
Qooxdoo, (to some extent flapjax) etc. and writing some glue<br>
codes!<br>
<br>
The second approach is more fundamental. To the best of my<br>
knowledge<br>
HOP and Links are the only frameworks that implement it properly.<br>
<br>
<br>
I've tried to design the demos and manual to make it clear that<br>
both options are possible in Ur/Web. The compiler generates<br>
JavaScript for client-side code, and the FFI makes it possible to<br>
wrap JavaScript libraries.<br>
<br>
Can you please give me a short example (but not a trivial one a la 'alert("Hello World!")')<br>
for each of these two alternatives?<br>
</blockquote>
<br></div></div>
The latter part of the main demo is all examples of GUIs implemented in Ur/Web and compiled to JavaScript. I have no examples presently of wrapped JavaScript GUI libraries.<div><div></div><div class="h5"><br>
<br>
_______________________________________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com" target="_blank">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>
</div></div></blockquote></div><br>