[Ur] Collecting Ur/Web examples

[orchidaceae phalaenopsis]

Hello

Thanks a lot for adding the new ({{q}}) feature and helping me with
dynamic queries! Our app might be a bit simple but I thought it would
be nice to release it publicly since we just reached our first big
milestone: All the essential basic functionality is complete. We
intend to polish it a bit and add some extra features but it already
does everything we wanted.

It's a little image gallery site which lets you upload pictures, tag
them and then search by tags. Here is the source code:
https://github.com/yuuko273/Gallury

Here's some notes on the development:

* We use C to provide a function that makes small thumbnail images
from whatever is uploaded. It's very easy to add new features to Ur
this way!
* Originally we had a setup where nginx would host static content and
then proxy other requests through to the Ur web server and we were
using C to store uploaded images to the filesystem - Adam suggested
just storing the blobs in the SQL database directly and this let us
remove nginx from our stack and simplified the code lots.
* It feels really nice to have language level security against SQL
injection, this is the main reason we picked Ur/Web and while the
powerful type system is hard to get used to at first it's really
exciting to have strongly typed XML and all sorts of correctness
guarantees.
* Dealing with CSS is really awkward!

Looking forward to using Ur/Web more!

On Sun, Jun 29, 2014 at 3:23 PM, Adam Chlipala <adamc at csail.mit.edu> wrote:
> I asked a while back for pointers to Ur/Web applications that folks have
> deployed, so that I can mention them in a paper I'm writing.  The deadline
> for said paper is in about a week, so I'm writing now as a last call,
> soliciting pointers to cool stuff you've done with Ur/Web!
>
> On 04/26/2014 12:10 PM, Adam Chlipala wrote:
>>
>> EXECUTIVE SUMMARY: I'm planning to write a paper about the full Ur/Web
>> language soon, and I'm looking for examples of "real" applications built
>> using it, with information on what they say about the design of the
>> language, good or bad.  Please let me know if you have a nontrivial Ur/Web
>> application that I don't already know about!
>>
>>
>> Thanks to everyone for bearing with me as I waited way too long for a new
>> release of the TechEmpower benchmarks
>> <http://www.techempower.com/benchmarks/>.  I finally decided to cut a
>> release with the changes accumulated as of today, and I've just announced it
>> in the previous message on this list!
>>
>> There are a few pending feature requests left, which I intend to see to
>> now that this release is out.
>>
>> The main purpose of my message is: I already published research papers
>> about the core Ur language and about a static analysis for security.  The
>> public information on the full Ur/Web language, however, is confined to
>> documentation on the project web site. I'd like to finally write a research
>> paper on the Web-specific parts, including the approach to GUIs,
>> communication between server and clients, etc.
>>
>> I think there are now enough production applications using Ur/Web that I
>> could structure an evaluation section of the paper around an analysis of
>> them.  For that reason, I'm writing to ask for any pointers to Ur/Web
>> applications that I may not know about.  There is a list of
>> production-quality applications here:
>>     http://www.impredicative.com/ur/users.html
>> ...and I would update that list with any new ones that I learn about.
>>
>> I'm also interested in:
>> * Applications that aren't quite at "production quality" yet, but that
>> might still be interesting to analyze.
>> * General enthusiasm about building something serious with Ur/Web. I plan
>> to submit this paper in early July, so there's plenty of time to build
>> something interesting from scratch!  I offer my personal support, as usual,
>> to people embarking on such projects. As a bonus, you get automatic
>> visibility of your new web app among the functional-programming crowd, via
>> links on the page above and mentions in the paper I'm working on!
>
>
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur