Interesting, but I kind of have the problem with URLs this language produces.<p><a href="http://groups.inf.ed.ac.uk/links/examples/citations.links?_k=BAH7BgH6BgQBzQwBzAwCAgJpZAAAAwYxOTY1OTAFdGl0bGUBJwAAAUkAAAFuAAABZgAAAWwAAAF1AAABZQAAAW4AAAFjAAABZQAAASAAAAFkAAABaQAAAWEAAAFnAAABcgAAAWEAAAFtAAABcwAAASAAAAFvAAABcgAAASAAAAFEAAABZQAAAWMAAAFpAAABcwAAAWkAAAFvAAABbgAAASAAAAFuAAABZQAAAXQAAAF3AAABbwAAAXIAAAFrAAABc80M+wY=" rel="nofollow">http://groups.inf.ed.ac.uk/links/examples/citations.links?_k...</a><p>Namely:
0. Not readable by any measure and too long
1. What's encoded there?
2. Do URLs expire?
3. Does each link require some amount of memory to save the state?
4. Is it possible to construct malicious URLs that call arbitrary function with arbitrary argument?
This is arguably one of the coolest things I have seen. It's web programming without tiers, as they call it. Just take a look at examples -- there is no distinction between client and server. Everything is defined in a single source. Beautiful. I think mainstream should adopt more languages like this.
It seems to have some PL heavyweights working on it: Philip Wadler (Haskell, Java Generics), Shriram Krishnamurthi (Schemer, author of Programming Languages Application and Interpretation).