[Ur] feature request: forward url declarations

[Sergey Mironov]

I understand, thanks. After some thinking, I've decided to stop using
functors and move to a bundle of simple recursive function
declarations (Of cause, I had to write some boilerplate code for doing
all my database management). Probably, Crud functionality may be
implemented using plain functions, but I will not battle this now.
Hope to see your metaprogramming approach to the framework design!

Sergey

2014-07-13 14:31 GMT+04:00 Adam Chlipala <adamc at csail.mit.edu>:
> On 07/13/2014 05:43 AM, Sergey Mironov wrote:
>>
>> Hi. I'm trying to solve the old problem regarding application design:
>> pass a set of urls to the main-page template function.
>>
>
>
> My current recommendation for such contexts is just to use the [bless]
> function to convert strings to URLs.  Yes, it's quite ugly and untyped-ish,
> but it simplifies the code without requiring new language features.
>
> We are also working on an example modular application framework using
> Ur/Web, where we have a fairly fancy approach using records and
> metaprogramming.  I hope I will have something practical to share there
> soon.
>
> I will also think about your suggestion (which I believe others have made
> before).  It couldn't hurt for others on this mailing list to share their
> thoughts on the issue.
>
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur