[Ur] Collecting Ur/Web examples

[Sergey Mironov]

I also thought about potential application of the UrWeb in embedded
web applications. The strong memory guarantees and C output of the
compiler make it possible to compile the good server for ARM cpus
which is a big advantage comparing to Haskell and Lisp frameworks.
(I've read that Haskell works for arm nowdays) I wish I have some time
to build a demo project for RaspberryPI or other popular arm board.

The important thing here is the database. Postgres and MySql are often
too heavy choice for such applications so the sqlite may probably be a
backend of choice. We may need to improve the sqlite compatibility in
order to go embedded.

Regards,
Sergey


2014-05-07 13:17 GMT+04:00 Sergey Mironov <grrwlf at gmail.com>:
> Hi! I use UrWeb as a part of build-server engine. The server will be
> used to build and deploy a firmware updates to network routers. In
> more details, It's task is to 1) authenticate user 2) Figure out
> whether they need a software update by comparing effective firmware
> version against the latest one 3) Launch the build process if needed
> and store the firmware path to a database 4) Serve the firmware which
> is a ~20M encrypted tarball.
>
> The project as a whole is a closed source project, but I think I'll be
> allowed to officially open the UrWeb part.
>
> Regards,
> Sergey
>
>
> 2014-04-26 20:10 GMT+04:00 Adam Chlipala <adamc at csail.mit.edu>:
>> 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