Kaya: A statically typed, imperative cross-platform programminglanguage with type inference, powerful data description capabilities and built-in abstractions and libraries for easy and robust web application development. http://kayalang.org/
The Haskell Web Publisher shall allow website implementation using the functional programminglanguage Haskell. Thereby, accuracy of URIs, data validity, and compliance to security restrictions shall be assured by compiler checks.