1. 12

Ur/Web is a language and framework for building websites using strong types to ensure certain kinds of correctness (like well formed output, no dead links, no xss or sql injection).

Here is the Ur/Web manual converted to HTML. This is the main site for the language and compiler: http://www.impredicative.com/ur/

  1.