Are there any strongly-typed programming languages for the Web? I program in PHP now, but often I wish it yelled at me when I tried to compare a number to a string. Functions in
Java? C++? Any language can be a web language... More details on your requirements would be needed to make a specific recommendation.
Python is a powerful, and popular dynamic strong typed language for web development:
Pylons
Wt is a good C++ web framework
There is an OCaml web programming framework, and OCaml is strongly and statically typed if that's what you are looking for.
Wt is a web development framework for C++.
Python is strongly-typed, and widely used for web.
Seaside is a web-framework for Smalltalk.
You can use Java for web development. You would then need Tomcat or another Servlet Container that supports the deployment of Java Servlets and JSPs.
Best wishes,
Fabian