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 <[email protected]>: > 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 > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
