Has anyone ever thought about how nice it would be to have one really nice strong, static, inferred type system that ran from the javascript in the gui all the

Has anyone ever thought about how nice it would be to have one really nice strong, static, inferred type system that ran from the javascript in the gui all the way to the db and even spanned any rpc stuff? Then imagine if there was a single IDE that could catch type errors anywhere in the stack. In my opinion this is why there are no trivial webapps. Even something that wants to add up a list of numbers and store in the db has to deal with so many type systems (or lack thereof), even though all your data becomes strings as it is posted over HTML.