Comments | adamch: Ur/Web: Statically-typed metaprogramming for the web

adamch

Ur/Web: Statically-typed metaprogramming for the web

Oct 25, 2008 13:31

I'd like to announce the first alpha release of the compiler for my new web programming language:
http://www.impredicative.com/ur/

The type system rules out all kinds of code injection attacks and other consequences of treating everything as strings in handling of either HTML or SQL. There is also a healthy injection of Coq-like features, enabling ( Read more... )

Comments 7

nwhitehe October 25 2008, 19:00:03 UTC

Looks like the "Service is Temporarily Unavailable".

It would be cool to connect something like this with something like the Google App Engine. It could be statically-typed metaprogramming for the cloud.

Re: what's up dude adamch October 25 2008, 22:52:55 UTC

I've restarted it now. Thanks for the report.

If I remember correctly, Google App Engine only supports Python. Is that right?

Re: what's up dude nwhitehe October 26 2008, 01:30:29 UTC

Yeah, it's a python interface to the google infrastructure. It might be possible to wrap the app engine interface with Ur, so that you can write and deploy Ur apps in the google app engine and prevent the injection attacks etc. (probably a lot of work though).

soundofwater October 26 2008, 17:19:50 UTC

Hey, congratulations. You're on the front page of reddit.

Re: what's up dude adamch October 26 2008, 17:53:50 UTC

Sweet; more opportunities for comments about how this is obviously a bad idea. ;)

apm October 27 2008, 05:04:40 UTC

Cool.

Your programs can still go wrong if you pass in a malformed URL, though. Sorry about that. :)

Re: what's up dude adamch October 27 2008, 12:20:50 UTC

I'd say that's the compiler going wrong, not the programs. I've fixed that bug now. ;)