A (much) better PHP. Or rather, a small, portable functional language to write highly concurrent web servers.