[Ur] ANN: toy-site named oilprice

[Sergey Mironov]

2015-03-03 16:52 GMT+03:00 Adam Chlipala <adamc at csail.mit.edu>:
> On 03/03/2015 07:46 AM, Sergey Mironov wrote:
>>
>> Hi! I've written a simple page in Ur/Web. It should be accessible via
>> the following link at the moment
>>
>> http://hit.msk.ru/Oilprice/main
>
>
> Thanks for sharing the link, and for linking to Ur/Web from the site!
>
>> * Also, cake3 embeds binary files by generating C FFI wrappers around
>> them. Also it does some CSS parsing to convert url paths into Ur/Web
>> format. This is how bootstrap fonts and icons work.
>
>
> Are you aware of the relatively new .urp 'file' directive, for embedding
> arbitrary files in a more straightforward way?

Yes, I know about this option. Unfortunately, writing applications in
my favorite self-contained manner (without external static resource
storage) requires patching  url()' instructions of the CSS files.
Also, my embedding tool handles JavaScripts in even more special way:
it generates Ur/Web FFI declarations out of JS functions if they are
specially formatted (example is
https://github.com/grwlf/uru3/blob/master/BootstrapMisc/BootstrapSlider.js,
./autogen/ folder contains the pre-generated result).

>> * uru3 is used to include third-party CSS and JavaScripts in correct
>> order. For the bootstrap library, style declarations from the official
>> Bootstrap.ur are provided. Some additional libraries like
>> bootstrap-slider and bootstrap-dialog are wrapped.
>
>
> Cool.  I'm planning to release soon a library that happens to include some
> Bootstrap dialog support, too.

I don't like the situation where we have two separate bootstraps.
Actually, uru3/Bootstrap should includ the official bootstrap.ur as a
sub-library rather than copy it, since its goal is to provide
[Bootstrap.add] to track bootstrap resources (links to stylesheets and
javascripts). I'll remove duplicate style declarations soon. Probably,
I didn't know about [open] clause at the time of writing
uru3/Bootstrap.


> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur