[Ur] Ur/Web in production

[Adam Chlipala]

On 01/17/2014 05:14 PM, Vladimir Shabanov wrote:
> 2014/1/17 Adam Chlipala <adamc at csail.mit.edu <mailto:adamc at csail.mit.edu>>
>
>         Few major problems with Ur/Web:
>
>         Slow compilation speed.
>
>
>     I'm hoping this will be fixed with a longer-time-horizon project
>     we have going, to build better tools for building future Ur/Web
>     versions and more!
>
>
> Do you have any plans when this project will be available?

Unfortunately not.  It's really a research project.

>         Exponential code bloat. This is actually the main reason for
>         long compilation. Ur/Web inlines too much.
>
>
>     It occurs to me it that it would be easy enough to add a
>     'neverInline' .urp directive, which would be dual to
>     'alwaysInline' that's already there.  Do you think that would
>     solve the problem easily enough?
>
>
> I think yes. Although reloadFeed function (you could see commented 
> calls to it in sources) is local one. So it should be possible to 
> somehow specify local functions to neverInline pragma.

OK, I'll take a look soon.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20140119/898e3a47/attachment.html>