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
There is an OCaml web programming framework, and OCaml is strongly and statically typed if that's what you are looking for.