Web framework with static checking

Question

Most of the web frameworks available on the market allow a lot of dynamic features:

• You access session elements and request paramaters with untyped, typically, string keys
• You reference other pages with string literals, i.e. "post.html?id=%s"
• You create database queries inside of string literals
• Most web frameworks heavily rely on reflection to find stuff like controller actions, etc

Are there any web frameworks which support static checking for this things? And why this isn't implemented in any framework yet ?

P.S. IMO, this should be possible. We create Desktop GUI applications in a statically checkable (by language type system) way, why can't we do the same with web applications?

Answer 1

The only existing framework with such features is Yesod: http://www.yesodweb.com/ It's checks statically almost everything.