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
You can develop Java web-applications. See JSPs.
I just came across Lift - a framework for web development using Scala.
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.
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