[Ur] Ur/Web in production
adamc at csail.mit.edu
Sun Jan 19 12:24:11 EST 2014
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...
More information about the Ur