Ur/Web, a Simple and Powerful Language for Secure Web Applications

Just have played with it. It was unexpectedly easy to use and it generated impressive small and fast executables. Very nice.