I've written public web applications in Ur/Web (a functional language for web development, http://www.impredicative.com/ur/ http://www.impredicative.com/ur/) an

I've written public web applications in Ur/Web (a functional language for web development, http://www.impredicative.com/ur/ http://www.impredicative.com/ur/) and the backend for one in ATS (http://www.ats-lang.org http://www.ats-lang.org). I've found them both pretty productive.